- 10% rabatt på allt
Verification, Model Checking, and Abstract Interpretation
9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
AvLeonore D. Zuck,Doron A. Peled
E-bok
PDF, Engelska, 2008739 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Verification, Model Checking, and Abstract Interpretation
Francesco Logozzo, Doron A. Peled, Leonore D. Zuck
Häftad, 2008
573 kr
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Moshe Y. Vardi, Doron A. Peled
E-bok
2003739 kr
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Doron A. Peled, Moshe Y. Vardi
Häftad, 2002
573 kr