Formal Techniques for Networked and Distributed Systems - FORTE 2002Doron A. Peled, Moshe Y. VardiHäftad555 kr
Verification, Model Checking, and Abstract InterpretationFrancesco Logozzo, Doron A. Peled, Leonore D. ZuckHäftad555 kr
Formal Techniques for Networked and Distributed Systems - FORTE 2002Doron A. Peled, Moshe Y. VardiHäftad555 kr
Verification, Model Checking, and Abstract InterpretationFrancesco Logozzo, Doron A. Peled, Leonore D. ZuckHäftad555 kr
NyhetÄt för din ålder : Kokbok och guide för dig i klimakterietCaroline Wilbois, Johanna AnderssonInbunden279 kr