Verification, Model Checking, and Abstract Interpretation
Francesco Logozzo, Doron A. Peled, Leonore D. Zuck
Häftad, 2008
559 kr
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, 2008734 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
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Moshe Y. Vardi, Doron A. Peled
E-bok
2003734 kr
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Doron A. Peled, Moshe Y. Vardi
Häftad, 2002
559 kr