Integrated Formal Methods
Editat de Ferruccio Damiani et al.
16 noi 2025
Paperback
Preț: 438.24 lei 547.80 lei
22-36 zile
-20%
Cărți de Ferruccio Damiani
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ț: 328.49 lei 410.62 lei
43-57 zile
-20%
Formal Verification of Object-Oriented Software
Editat de Bernhard Beckert et al.
19 iul 2012
Paperback
Preț: 292.91 lei 366.13 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ț: 324.82 lei 406.03 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%