Formal Methods for Components and Objects
Editat de Frank S. De Boer et al.
10 aug 2006
Paperback
Preț: 328.50 lei 410.63 lei
6-8 săpt.
-20%
Cărți de Willem-Paul de Roever
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Autor Willem-Paul de Roever et al.
25 ian 2012
Paperback
Preț: 552.39 lei 690.49 lei
6-8 săpt.
-20%
Data Refinement: Model-Oriented Proof Methods and their Comparison
Autor Willem-Paul de Roever et al.
17 dec 2008
Paperback
Preț: 393.34 lei 491.67 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
Editat de Hans Langmaack et al.
7 sep 1994
Paperback
Preț: 644.93 lei 806.17 lei
6-8 săpt.
-20%
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
Editat de Frank S. de Boer et al.
19 sep 2005
Paperback
Preț: 321.66 lei 402.08 lei
6-8 săpt.
-20%
Programming Concepts and Methods PROCOMET '98
Editat de David Gries et al.
31 mai 1998
Hardback
Preț: 1239.32 lei 1549.14 lei
6-8 săpt.
-20%
Formal Methods for Components and Objects
Editat de Marcello M. Bonsangue et al.
dec 2008
Paperback
Preț: 322.40 lei 403.00 lei
6-8 săpt.
-20%
Formal Methods for Components and Objects
Editat de Frank S. de Boer et al.
9 oct 2003
Paperback
Preț: 332.60 lei 415.75 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
Editat de Jaco W. de Bakker et al.
25 apr 1990
Paperback
Preț: 645.39 lei 806.74 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
Editat de Jacobus W. de Bakker et al.
30 mar 1989
Paperback
Preț: 640.96 lei 801.20 lei
6-8 săpt.
-20%
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
Editat de David Gries et al.
22 ian 2013
Paperback
Preț: 1231.77 lei 1539.70 lei
6-8 săpt.
-20%