Hoppa till sidans huvudinnehåll

Willem-Paul de Roever – författare

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 889 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

Häftad, Engelska, 2008

999 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 Boerm. fl.

Häftad, Engelska, 2012

1 379 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

Inbunden, Engelska, 1998

2 289 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 Boerm. fl.

Inbunden, Engelska, 2001

3 919 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 889 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 449 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

729 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

729 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

729 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

729 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 449 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 449 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 449 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 449 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

729 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

729 kr

Skickas inom 10-15 vardagar