Integrated Formal Methods
Editat de Ferruccio Damiani et al.
16 noi 2025
Paperback
Preț: 461.76 lei 577.20 lei
22-36 zile
-20%
Cărți de Ferruccio Damiani
Types for Proofs and Programs
Editat de Stefano Berardi et al.
19 iun 2009
Paperback
Preț: 336.75 lei 420.93 lei
43-57 zile
-20%
Active Object Languages: Current Research Trends
Editat de Frank de Boer et al.
29 ian 2024
Paperback
Preț: 491.26 lei 614.09 lei
43-57 zile
-20%
Types for Proofs and Programs
Editat de Stefano Berardi et al.
15 iun 2004
Paperback
Preț: 341.62 lei 427.03 lei
43-57 zile
-20%
Formal Verification of Object-Oriented Software
Editat de Bernhard Beckert et al.
19 iul 2012
Paperback
Preț: 304.60 lei 380.74 lei
43-57 zile
-20%
Coordination Models and Languages
Editat de Ferruccio Damiani et al.
6 iun 2021
Paperback
Preț: 323.17 lei 403.96 lei
43-57 zile
-20%
Formal Methods for Executable Software Models
Editat de Marco Bernardo et al.
21 mai 2014
Paperback
Preț: 337.80 lei 422.24 lei
43-57 zile
-20%
Formal Methods for Components and Objects
Editat de Bernhard Beckert et al.
3 ian 2013
Paperback
Preț: 325.63 lei 407.04 lei
43-57 zile
-20%