Hoppa till sidans huvudinnehåll

Willem-Paul de Roever - Böcker

Visar alla böcker från författaren Willem-Paul de Roever.
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 779 kr

Skickas inom 10-15 vardagar

Del 47 - Cambridge Tracts in Theoretical Computer Science

Data Refinement

Model-Oriented Proof Methods and their Comparison

AvWillem-Paul de Roever,Kai Engelhardt,Germany) de Roever, Willem-Paul (Christian-Albrechts Universitat zu Kiel,Sydney) Engelhardt, Kai (University of Technology

Häftad, Engelska, 2008

929 kr

Skickas inom 7-10 vardagar

Del 54 - Cambridge Tracts in Theoretical Computer Science

Concurrency Verification

Introduction to Compositional and Non-compositional Methods

AvWillem-Paul de Roever,Frank de Boer,Ulrich Hanneman,Jozef Hooman,Yassine Lakhnech,Mannes Poel,Job Zwiers,Germany) Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel,The Netherlands) Boer, Frank de (Universiteit Utrecht,The Netherlands) Hanneman, Ulrich (Katholieke Universiteit Nijmegen,The Netherlands) Hooman, Jozef (Katholieke Universiteit Nijmegen,Grenoble) Lakhnech, Yassine (Universite Joseph Fourier,The Netherlands) Poel, Mannes (University of Twente, Enschede,The Netherlands) Zwiers, Job (University of Twente, Enschede,de Roever Willem-Paul,de Boer Frank,De Roever Willem-Paul,De Boer Frank,Hanneman Ulrich

Häftad, Engelska, 2012

1 289 kr

Skickas inom 7-10 vardagar

Del 47 - Cambridge Tracts in Theoretical Computer Science

Data Refinement

Model-Oriented Proof Methods and their Comparison

AvWillem-Paul de Roever,Kai Engelhardt,Germany) de Roever, Willem-Paul (Christian-Albrechts Universitat zu Kiel,Sydney) Engelhardt, Kai (University of Technology,W. Deroever,W. -P De Roever,Kai Englehardt

Inbunden, Engelska, 1998

2 129 kr

Skickas inom 7-10 vardagar

Del 54 - Cambridge Tracts in Theoretical Computer Science

Concurrency Verification

Introduction to Compositional and Non-compositional Methods

AvWillem-Paul de Roever,Frank de Boer,Ulrich Hanneman,Jozef Hooman,Yassine Lakhnech,Mannes Poel,Job Zwiers,Germany) Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel,The Netherlands) Boer, Frank de (Universiteit Utrecht,The Netherlands) Hanneman, Ulrich (Katholieke Universiteit Nijmegen,The Netherlands) Hooman, Jozef (Katholieke Universiteit Nijmegen,Grenoble) Lakhnech, Yassine (Universite Joseph Fourier,The Netherlands) Poel, Mannes (University of Twente, Enschede,The Netherlands) Zwiers, Job (University of Twente, Enschede,Willem-Paul de Roever,Frank de Boer

Inbunden, Engelska, 2001

3 829 kr

Skickas inom 7-10 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 779 kr

Skickas inom 10-15 vardagar

Current Trends in Concurrency

Overviews and Tutorials

AvJacobus W. De Bakker,Willem-Paul De Roever,Grzegorz Rozenberg,Willem-Paul de Roever

Häftad, Engelska, 1986

1 409 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 Bonsangue,Susanne Graf,Willem-Paul de Roever,Frank S. de Boer

Häftad, Engelska, 2003

709 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. Bonsangue,Susanne Graf,Willem-Paul de Roever

Häftad, Engelska, 2004

709 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. Bonsangue,Susanne Graf,Willem-Paul de Roever,Frank S. De Boer

Häftad, Engelska, 2005

709 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. Bonsangue,Susanne Graf,Willem-Paul de Roever,Frank S. De Boer

Häftad, Engelska, 2006

709 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 Roever,Grzegorz Rozenberg,Jacobus W. De Bakker,Willem-Paul De Roever

Häftad, Engelska, 1989

1 409 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 Roever,Grzegorz Rozenberg,Jaco W. De Bakker,Willem-Paul De Roever

Häftad, Engelska, 1990

1 409 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 Roever,Jan Vytopil,Willem-Paul De Roever

Häftad, Engelska, 1994

1 409 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 Langmaack,Amir Pnueli,Willem-Paul De Roever

Häftad, Engelska, 1998

1 409 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. Bonsangue,Susanne Graf,Willem-Paul de Roever,Frank S. De Boer

Häftad, Engelska, 2007

709 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 Graf,Willem-Paul de Roever

Häftad, Engelska, 2008

709 kr

Skickas inom 10-15 vardagar