Willem-Paul de Roever | Akateeminen Kirjakauppa

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

248,70 €

Compositionality: The Significant Difference : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12,

Roever, Willem-Paul de; Langmaack, Hans; Pnueli, Amir
Springer
1998
Pehmeäkantinen kirja

100,90 €

Data Refinement: Model-Oriented Proof Methods and their Comparison

Willem-Paul de Roever; Kai Engelhardt
Cambridge University Press
1998
Kovakantinen kirja

138,70 €

Data Refinement: Model-Oriented Proof Methods and their Comparison

Willem-Paul de Roever; Kai Engelhardt
Cambridge University Press
2008
Pehmeäkantinen kirja

66,50 €

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

91,80 €

Current Trends in Concurrency : Overviews and Tutorials

Bakker, Jacobus W. De; Roever, Willem-Paul De; Rozenberg, Grzegorz
Springer
1986
Pehmeäkantinen kirja

100,90 €

Formal Methods for Components and Objects - 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006,

de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

51,10 €

Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the

Langmaack, Hans; Roever, Willem-Paul de; Vytopil, Jan
Springer
1994
Pehmeäkantinen kirja

100,90 €

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The

Bakker, Jacobus W. de; Roever, Willem-Paul de; Rozenberg, Grzegorz
Springer
1989
Pehmeäkantinen kirja

100,90 €

Stepwise Refinement of Distributed Systems : Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 -

Bakker, Jaco W. de; Roever, Willem-Paul de; Rozenberg, Grzegorz
Springer
1990
Pehmeäkantinen kirja

100,90 €

Formal Methods for Components and Objects : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November

de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
Springer
2006
Pehmeäkantinen kirja

51,10 €

Formal Methods for Components and Objects - Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 200

de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja