SULJE VALIKKO

avaa valikko

Willem-Paul de Roever | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 17 tuotetta
Haluatko tarkentaa hakukriteerejä?



Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Willem-Paul de Roever; Frank de Boer; Ulrich Hanneman; Jozef Hooman; Yassine Lakhnech; Mannes Poel; Job Zwiers
Cambridge University Press (2012)
Pehmeäkantinen kirja
94,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Data Refinement: Model-Oriented Proof Methods and their Comparison
Willem-Paul de Roever; Kai Engelhardt
Cambridge University Press (1998)
Kovakantinen kirja
144,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Data Refinement: Model-Oriented Proof Methods and their Comparison
Willem-Paul de Roever; Kai Engelhardt
Cambridge University Press (2008)
Pehmeäkantinen kirja
68,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Willem-Paul de Roever; Frank de Boer; Ulrich Hanneman; Jozef Hooman; Yassine Lakhnech; Mannes Poel; Job Zwiers
Cambridge University Press (2001)
Kovakantinen kirja
258,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for Components and Objects - 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2
Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Compositionality: The Significant Difference - International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Rev
Willem-Paul de Roever; Hans Langmaack; Amir Pnueli
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1998)
Pehmeäkantinen kirja
101,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Current Trends in Concurrency - Overviews and Tutorials
Jacobus W. De Bakker; Willem-Paul De Roever; Grzegorz Rozenberg
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1986)
Pehmeäkantinen kirja
101,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for Components and Objects - 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006,
Frank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Techniques in Real-Time and Fault-Tolerant Systems - Third International Symposium Organized Jointly with the Working Gro
Hans Langmaack; Willem-Paul de Roever; Jan Vytopil
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1994)
Pehmeäkantinen kirja
101,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - School/Workshop, Noordwijkerhout, The Nethe
Jacobus W. de Bakker; Willem-Paul de Roever; Grzegorz Rozenberg
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1989)
Pehmeäkantinen kirja
101,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Stepwise Refinement of Distributed Systems - Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June
Jaco W. de Bakker; Willem-Paul de Roever; Grzegorz Rozenberg
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1990)
Pehmeäkantinen kirja
101,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for Components and Objects - 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 20
Frank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for Components and Objects - Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 200
Frank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Programming Concepts and Methods PROCOMET ’98 - IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Metho
David Gries; Willem-Paul de Roever
Chapman and Hall (1998)
Kovakantinen kirja
179,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for Components and Objects - First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 200
Frank S.de Boer; Marcello Bonsangue; Susanne Graf; Willem-Paul de Roever
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2003)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for Components and Objects - Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 20
Frank S. de Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2004)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Programming Concepts and Methods PROCOMET ’98 - IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Metho
David Gries; Willem-Paul de Roever
Springer-Verlag New York Inc. (2013)
Pehmeäkantinen kirja
179,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
94,00 €
Cambridge University Press
Sivumäärä: 800 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2012, 26.01.2012 (lisätietoa)
Kieli: Englanti
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols. Compositional concurrency verification methods reduce the verification of a concurrent program to the independent verification of its parts. If those parts are tightly coupled, one additionally needs verification methods based on the causal order between events. These are presented using CCL. The semantic approach followed here allows a systematic presentation of all these concepts in a unified framework which highlights essential concepts. This 2001 book is self-contained, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Concurrency Verification: Introduction to Compositional and Non-compositional Methodszoom
Näytä kaikki tuotetiedot
ISBN:
9780521169325
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste