Willem-Paul de Roever – författare

Visar alla böcker från författaren Willem-Paul de Roever.

17 produkter

Kategorier

17 produkter

Programming Concepts and Methods PROCOMET ’98
IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 June 1998, Shelter Island, New York, USA
AvDavid Gries,Willem-Paul de Roever
Inbunden, Engelska, 1998
2 949 kr
Skickas inom 10-15 vardagar
Del 47
Del 47 - Cambridge Tracts in Theoretical Computer Science
Data Refinement
Model-Oriented Proof Methods and their Comparison
AvWillem-Paul de Roever,Kai Engelhardt
Häftad, Engelska, 2008
1 239 kr
Skickas inom 5-8 vardagar
Del 54
Del 54 - Cambridge Tracts in Theoretical Computer Science
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
AvWillem-Paul de Roever,Frank de Boerm. fl.
Häftad, Engelska, 2012
1 709 kr
Skickas inom 5-8 vardagar
Del 47
Del 47 - Cambridge Tracts in Theoretical Computer Science
Data Refinement
Model-Oriented Proof Methods and their Comparison
AvWillem-Paul de Roever,Kai Engelhardt
Inbunden, Engelska, 1998
2 819 kr
Skickas inom 5-8 vardagar
Del 54
Del 54 - Cambridge Tracts in Theoretical Computer Science
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
AvWillem-Paul de Roever,Frank de Boerm. fl.
Inbunden, Engelska, 2001
4 819 kr
Skickas inom 5-8 vardagar
Programming Concepts and Methods PROCOMET ’98
IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 June 1998, Shelter Island, New York, USA
AvDavid Gries,Willem-Paul de Roever
Häftad, Engelska, 2013
2 949 kr
Skickas inom 10-15 vardagar
Current Trends in Concurrency
Overviews and Tutorials
AvJacobus W. De Bakker,Willem-Paul De Roeverm. fl.
Häftad, Engelska, 1986
1 479 kr
Skickas inom 10-15 vardagar
Formal Methods for Components and Objects
First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
AvFrank S.de Boer,Marcello Bonsanguem. fl.
Häftad, Engelska, 2003
739 kr
Skickas inom 10-15 vardagar
Formal Methods for Components and Objects
Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
AvFrank S. de Boer,Marcello M. Bonsanguem. fl.
Häftad, Engelska, 2004
739 kr
Skickas inom 10-15 vardagar
Formal Methods for Components and Objects
Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
AvFrank S. de Boer,Marcello M. Bonsanguem. fl.
Häftad, Engelska, 2005
739 kr
Skickas inom 10-15 vardagar
Formal Methods for Components and Objects
4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
AvFrank S. de Boer,Marcello M. Bonsanguem. fl.
Häftad, Engelska, 2006
739 kr
Skickas inom 10-15 vardagar
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988
AvJacobus W. de Bakker,Willem-Paul de Roeverm. fl.
Häftad, Engelska, 1989
1 479 kr
Skickas inom 10-15 vardagar
Stepwise Refinement of Distributed Systems
Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings
AvJaco W. de Bakker,Willem-Paul de Roeverm. fl.
Häftad, Engelska, 1990
1 479 kr
Skickas inom 10-15 vardagar
Formal Techniques in Real-Time and Fault-Tolerant Systems
Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
AvHans Langmaack,Willem-Paul de Roeverm. fl.
Häftad, Engelska, 1994
1 479 kr
Skickas inom 10-15 vardagar
Compositionality: The Significant Difference
International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures
AvWillem-Paul de Roever,Hans Langmaackm. fl.
Häftad, Engelska, 1998
1 479 kr
Skickas inom 10-15 vardagar
Formal Methods for Components and Objects
5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
AvFrank S. de Boer,Marcello M. Bonsanguem. fl.
Häftad, Engelska, 2007
739 kr
Skickas inom 10-15 vardagar
Formal Methods for Components and Objects
6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
AvMarcello M. Bonsangue,Susanne Grafm. fl.
Häftad, Engelska, 2008
739 kr
Skickas inom 10-15 vardagar