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ț: 1261^.97 lei 1577^.47 lei

43-57 zile

-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ț: 531^.27 lei 664^.08 lei

43-57 zile

-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ț: 379^.63 lei 474^.54 lei

43-57 zile

-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ț: 327^.80 lei 409^.75 lei

43-57 zile

-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ț: 333^.96 lei 417^.46 lei

43-57 zile

-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ț: 336^.71 lei 420^.89 lei

43-57 zile

-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ț: 650^.18 lei 812^.72 lei

43-57 zile

-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ț: 657^.31 lei 821^.64 lei

43-57 zile

-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ț: 657^.76 lei 822^.20 lei

43-57 zile

-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ț: 653^.25 lei 816^.55 lei

43-57 zile

-20%