Verification, Model Checking, and Abstract Interpretation
Editat de Francesco Logozzo et al.
26 feb 2008
Paperback
Preț: 324.22 lei 405.27 lei
6-8 săpt.
-20%
Cărți de Doron A. Peled
Computer Aided Verification
Editat de Rajeev Alur et al.
29 iun 2004
Paperback
Preț: 636.77 lei 795.97 lei
6-8 săpt.
-20%
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Editat de Doron A. Peled et al.
28 oct 2002
Paperback
Preț: 326.68 lei 408.36 lei
6-8 săpt.
-20%
Software Reliability Methods
Autor Doron A. Peled
9 oct 2011
Paperback
Preț: 325.29 lei 406.60 lei
6-8 săpt.
-20%