Types for Proofs and Programs
Editat de Stefano Berardi et al.
15 iun 2004
Paperback
Preț: 327.49 lei 409.37 lei
6-8 săpt.
-20%
Cărți de Ferruccio Damiani
Formal Verification of Object-Oriented Software
Editat de Bernhard Beckert et al.
19 iul 2012
Paperback
Preț: 292.01 lei 365.01 lei
6-8 săpt.
-20%
Formal Methods for Components and Objects
Editat de Bernhard Beckert et al.
3 ian 2013
Paperback
Preț: 324.63 lei 405.79 lei
6-8 săpt.
-20%