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

Av David Gries, Willem-Paul de Roever

Inbunden, Engelska, 1998

2 839 kr

Skickas inom 10-15 vardagar
Del 47 - Cambridge Tracts in Theoretical Computer Science

Data Refinement

Model-Oriented Proof Methods and their Comparison

Av Willem-Paul de Roever, Kai Engelhardt m. fl

Häftad, Engelska, 2008

959 kr

Skickas inom 10-15 vardagar
Del 54 - Cambridge Tracts in Theoretical Computer Science

Concurrency Verification

Introduction to Compositional and Non-compositional Methods

Av Willem-Paul de Roever, Frank de Boer m. fl

Häftad, Engelska, 2012

1 329 kr

Skickas inom 10-15 vardagar
Del 47 - Cambridge Tracts in Theoretical Computer Science

Data Refinement

Model-Oriented Proof Methods and their Comparison

Av Willem-Paul de Roever, Kai Engelhardt m. fl

Inbunden, Engelska, 1998

2 199 kr

Skickas inom 10-15 vardagar
Del 54 - Cambridge Tracts in Theoretical Computer Science

Concurrency Verification

Introduction to Compositional and Non-compositional Methods

Av Willem-Paul de Roever, Frank de Boer m. fl

Inbunden, Engelska, 2001

3 949 kr

Skickas inom 10-15 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

Av David Gries, Willem-Paul de Roever

Häftad, Engelska, 2013

2 849 kr

Skickas inom 10-15 vardagar

Current Trends in Concurrency

Overviews and Tutorials

Av Jacobus W. De Bakker, Willem-Paul De Roever m. fl

Häftad, Engelska, 1986

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

Av Frank S.de Boer, Marcello Bonsangue m. 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

Av Frank S. de Boer, Marcello M. Bonsangue m. 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

Av Frank S. de Boer, Marcello M. Bonsangue m. 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

Av Frank S. de Boer, Marcello M. Bonsangue m. 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

Av Jacobus W. de Bakker, Willem-Paul de Roever m. fl

Häftad, Engelska, 1989

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

Av Jaco W. de Bakker, Willem-Paul de Roever m. fl

Häftad, Engelska, 1990

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

Av Hans Langmaack, Willem-Paul de Roever m. fl

Häftad, Engelska, 1994

1 459 kr

Skickas inom 10-15 vardagar

Compositionality: The Significant Difference

International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Av Willem-Paul de Roever, Hans Langmaack m. fl

Häftad, Engelska, 1998

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

Av Frank S. de Boer, Marcello M. Bonsangue m. 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

Av Marcello M. Bonsangue, Susanne Graf m. fl

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar