Computer Aided Verification
Editat de Rajeev Alur et al.
29 iun 2004
Paperback
Preț: 636.77 lei 795.97 lei
43-57 zile
-20%
Cărți de Doron A. Peled
Automated Technology for Verification and Analysis
Editat de Doron A. Peled et al.
19 sep 2005
Paperback
Preț: 333.62 lei 417.03 lei
22-36 zile
-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
43-57 zile
-20%
Software Reliability Methods
Autor Doron A. Peled
9 oct 2011
Paperback
Preț: 325.29 lei 406.60 lei
43-57 zile
-20%
Verification, Model Checking, and Abstract Interpretation
Editat de Francesco Logozzo et al.
26 feb 2008
Paperback
Preț: 324.22 lei 405.27 lei
43-57 zile
-20%
Runtime Verification
Editat de Saddek Bensalem et al.
23 sep 2009
Paperback
Preț: 317.66 lei 397.08 lei
43-57 zile
-20%
Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
Editat de Doron A. Peled et al.
27 feb 2009
Paperback
Preț: 315.62 lei 394.52 lei
43-57 zile
-20%