Hoppa till sidans huvudinnehåll

Willem-Paul de Roever – författare

Visar alla böcker från författaren .
17 produkter
David Gries, Willem-Paul de Roever - Programming Concepts and Methods PROCOMET ’98, Inbunden

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 869 kr

Skickas inom 10-15 vardagar

Willem-Paul de Roever, Kai Engelhardt - Data Refinement, Häftad
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 039 kr

Skickas inom 7-10 vardagar

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers - Concurrency Verification, Häftad
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 429 kr

Skickas inom 7-10 vardagar

Willem-Paul de Roever, Kai Engelhardt - Data Refinement, Inbunden
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 359 kr

Skickas inom 7-10 vardagar

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers - Concurrency Verification, Inbunden
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 059 kr

Skickas inom 7-10 vardagar

David Gries, Willem-Paul de Roever - Programming Concepts and Methods PROCOMET ’98, Häftad

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 869 kr

Skickas inom 10-15 vardagar

Jacobus W. De Bakker, Willem-Paul De Roever, Grzegorz Rozenberg - Current Trends in Concurrency, Häftad

Current Trends in Concurrency

Overviews and Tutorials

AvJacobus W. De Bakker,Willem-Paul De Roeverm. fl.

Häftad, Engelska, 1986

1 439 kr

Skickas inom 10-15 vardagar

Frank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever - Formal Methods for Components and Objects, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever - Formal Methods for Components and Objects, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever - Formal Methods for Components and Objects, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever - Formal Methods for Components and Objects, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Jacobus W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg - Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Häftad

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 439 kr

Skickas inom 10-15 vardagar

Jaco W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg - Stepwise Refinement of Distributed Systems, Häftad

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 439 kr

Skickas inom 10-15 vardagar

Hans Langmaack, Willem-Paul de Roever, Jan Vytopil - Formal Techniques in Real-Time and Fault-Tolerant Systems, Häftad

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 439 kr

Skickas inom 10-15 vardagar

Willem-Paul de Roever, Hans Langmaack, Amir Pnueli - Compositionality: The Significant Difference, Häftad

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 439 kr

Skickas inom 10-15 vardagar

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever - Formal Methods for Components and Objects, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever - Formal Methods for Components and Objects, Häftad

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

729 kr

Skickas inom 10-15 vardagar