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