Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
Editat de Saddek Bensalem et al.
23 sep 2009
Paperback
Preț: 316.43 lei 395.54 lei
6-8 săpt.
-20%
Cărți de Doron A. Peled
Software Reliability Methods
Autor Doron A. Peled et al.
9 oct 2011
Paperback
Preț: 322.75 lei 403.44 lei
6-8 săpt.
-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.76 lei 394.70 lei
6-8 săpt.
-20%
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Editat de Francesco Logozzo et al.
26 feb 2008
Paperback
Preț: 322.12 lei 402.65 lei
6-8 săpt.
-20%
Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
Editat de Doron A. Peled et al.
19 sep 2005
Paperback
Preț: 330.70 lei 413.37 lei
6-8 săpt.
-20%
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
Editat de Rajeev Alur et al.
29 iun 2004
Paperback
Preț: 634.85 lei 793.57 lei
6-8 săpt.
-20%
Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
Editat de Doron A. Peled et al.
28 oct 2002
Paperback
Preț: 325.13 lei 406.41 lei
6-8 săpt.
-20%