Willem-Paul de Roever | Akateeminen Kirjakauppa

Data Refinement: Model-Oriented Proof Methods and their Comparison

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

140,70 €

Data Refinement: Model-Oriented Proof Methods and their Comparison

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

67,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

93,10 €

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

252,20 €

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

Roever, Willem-Paul de; Langmaack, Hans; Pnueli, Amir
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1998
Pehmeäkantinen kirja

100,90 €

Current Trends in Concurrency - Overviews and Tutorials

Bakker, Jacobus W. De; Roever, Willem-Paul De; Rozenberg, Grzegorz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
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 Working Gro

Langmaack, Hans; Roever, Willem-Paul de; Vytopil, Jan
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1994
Pehmeäkantinen kirja

100,90 €

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

Bakker, Jacobus W. de; Roever, Willem-Paul de; Rozenberg, Grzegorz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1989
Pehmeäkantinen kirja

100,90 €

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

Bakker, Jaco W. de; Roever, Willem-Paul de; Rozenberg, Grzegorz
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1990
Pehmeäkantinen kirja

100,90 €

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

de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
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

51,10 €

Programming Concepts and Methods PROCOMET ’98 : IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts

Gries, David; de Roever, Willem-Paul
Springer
1998
Kovakantinen kirja

182,70 €

Formal Methods for Components and Objects - First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 200

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

51,10 €

Formal Methods for Components and Objects - Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 20

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

51,10 €

Formal Methods for Components and Objects - 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2

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

51,10 €

Programming Concepts and Methods PROCOMET ’98 : IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts

Gries, David; de Roever, Willem-Paul
Springer
2013
Pehmeäkantinen kirja

182,70 €