Willem-Paul de Roever - Böcker

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

Programming Concepts and Methods PROCOMET ’98

Av David Gries, Willem-Paul de Roever

Inbunden, Engelska, 1998

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

Av David Gries, Willem-Paul de Roever

Häftad, Engelska, 2013

2 869 kr

Skickas inom 7-10 vardagar
Jacobus W. De Bakker, Willem-Paul De Roever, Grzegorz Rozenberg, Willem-Paul de Roever - Current Trends in Concurrency, Häftad
Del 224 - Lecture Notes in Computer Science

Current Trends in Concurrency

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

Häftad, Engelska, 1986

1 449 kr

Skickas inom 7-10 vardagar
Frank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever, Frank S. de Boer - Formal Methods for Components and Objects, Häftad
Del 2852 - Lecture Notes in Computer Science

Formal Methods for Components and Objects

Av Frank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever, Frank S. de Boer

Häftad, Engelska, 2003

729 kr

Skickas inom 7-10 vardagar
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever - Formal Methods for Components and Objects, Häftad
Del 3188 - Lecture Notes in Computer Science

Formal Methods for Components and Objects

Av Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Häftad, Engelska, 2004

729 kr

Skickas inom 7-10 vardagar
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever, Frank S. De Boer - Formal Methods for Components and Objects, Häftad
Del 4111 - Lecture Notes in Computer Science

Formal Methods for Components and Objects

Av Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever, Frank S. De Boer

Häftad, Engelska, 2006

729 kr

Skickas inom 7-10 vardagar
Jacobus W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg, Jacobus W. De Bakker, Willem-Paul De Roever - Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Häftad
Del 354 - Lecture Notes in Computer Science

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

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

Häftad, Engelska, 1989

1 449 kr

Skickas inom 7-10 vardagar
Jaco W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg, Jaco W. De Bakker, Willem-Paul De Roever - Stepwise Refinement of Distributed Systems, Häftad
Del 430 - Lecture Notes in Computer Science

Stepwise Refinement of Distributed Systems

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

Häftad, Engelska, 1990

1 449 kr

Skickas inom 7-10 vardagar
Hans Langmaack, Willem-Paul de Roever, Jan Vytopil, Willem-Paul De Roever - Formal Techniques in Real-Time and Fault-Tolerant Systems, Häftad
Del 863 - Lecture Notes in Computer Science

Formal Techniques in Real-Time and Fault-Tolerant Systems

Av Hans Langmaack, Willem-Paul de Roever, Jan Vytopil, Willem-Paul De Roever

Häftad, Engelska, 1994

1 449 kr

Skickas inom 7-10 vardagar
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli, Willem-Paul De Roever - Compositionality: The Significant Difference, Häftad
Del 1536 - Lecture Notes in Computer Science

Compositionality: The Significant Difference

Av Willem-Paul de Roever, Hans Langmaack, Amir Pnueli, Willem-Paul De Roever

Häftad, Engelska, 1998

1 449 kr

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

Formal Methods for Components and Objects

Av Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Häftad, Engelska, 2008

729 kr

Skickas inom 7-10 vardagar