Types for Proofs and Programs
Editat de Stefano Berardi et al.
15 iun 2004
Paperback
Preț: 328.49 lei 410.62 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.91 lei 366.13 lei
6-8 săpt.
-20%
Formal Methods for Components and Objects
Editat de Bernhard Beckert et al.
3 ian 2013
Paperback
Preț: 325.63 lei 407.04 lei
6-8 săpt.
-20%