Verification of Sequential and Concurrent Programs
Autor Krzysztof R. Apt et al.
14 mar 2012
Paperback
Preț: 522.08 lei 652.60 lei
6-8 săpt.
-20%
Cărți de Frank S. de Boer
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%
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Editat de Frank S. de Boer et al.
4 ian 2011
Paperback
Preț: 322.61 lei 403.26 lei
3-5 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%
Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
Editat de Bernhard K. Aichernig et al.
12 dec 2011
Paperback
Preț: 326.72 lei 408.40 lei
3-5 săpt.
-20%