Formal Techniques for Networked and Distributed Systems - FORTE 2002
Doron A. Peled, Moshe Y. Vardi
Häftad, 2002
572 kr
Software Reliability Methods
Engelska, 2013
672 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Produktinformation
Utforska kategorier
Hoppa över listan
Mer från samma författare
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Moshe Y. Vardi, Doron A. Peled
E-bok
2003739 kr
Verification, Model Checking, and Abstract Interpretation
Francesco Logozzo, Doron A. Peled, Leonore D. Zuck
Häftad, 2008
572 kr
Verification, Model Checking, and Abstract Interpretation
Leonore D. Zuck, Doron A. Peled, Francesco Logozzo
E-bok
2008739 kr
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
2003739 kr
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Doron A. Peled, Moshe Y. Vardi
Häftad, 2002
572 kr
Verification, Model Checking, and Abstract Interpretation
Francesco Logozzo, Doron A. Peled, Leonore D. Zuck
Häftad, 2008
572 kr
Verification, Model Checking, and Abstract Interpretation
Leonore D. Zuck, Doron A. Peled, Francesco Logozzo
E-bok
2008739 kr