Cărți de Willem-Paul de Roever

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

IFIP Advances in Information and Communication Technology

Editat de David Gries et al.

31 mai 1998

Preț: 1288^.11 lei 1610^.13 lei

6-8 săpt.

-20%

Concurrency Verification: Introduction to Compositional and Non-compositional Methods

Cambridge Tracts in Theoretical Computer Science, nr. 54

Autor Willem-Paul de Roever et al.

25 ian 2012

Preț: 542^.23 lei 677^.79 lei

6-8 săpt.

-20%

Data Refinement: Model-Oriented Proof Methods and their Comparison

Cambridge Tracts in Theoretical Computer Science, nr. 47

Autor Willem-Paul de Roever et al.

17 dec 2008

Preț: 387^.43 lei 484^.29 lei

6-8 săpt.

-20%

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Lecture Notes in Computer Science, nr. 5382

Editat de Marcello M. Bonsangue et al.

dec 2008

Preț: 334^.53 lei 418^.16 lei

6-8 săpt.

-20%

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Lecture Notes in Computer Science, nr. 4111

Editat de Frank S. de Boer et al.

10 aug 2006

Preț: 340^.82 lei 426^.03 lei

6-8 săpt.

-20%

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Lecture Notes in Computer Science, nr. 2852

Editat de Frank S. de Boer et al.

9 oct 2003

Preț: 343^.62 lei 429^.52 lei

6-8 săpt.

-20%

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Lecture Notes in Computer Science, nr. 1536

Editat de Willem-Paul de Roever et al.

18 dec 1998

Preț: 663^.61 lei 829^.51 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 863

Editat de Hans Langmaack et al.

7 sep 1994

Preț: 670^.88 lei 838^.59 lei

6-8 săpt.

-20%

Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings

Lecture Notes in Computer Science, nr. 430

Editat de Jaco W. de Bakker et al.

25 apr 1990

Preț: 671^.35 lei 839^.19 lei

6-8 săpt.

-20%

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988

Lecture Notes in Computer Science, nr. 354

Editat de Jacobus W. de Bakker et al.

30 mar 1989

Preț: 666^.73 lei 833^.42 lei

6-8 săpt.

-20%