Formal Techniques for Networked and Distributed Systems - FORTE 2002Doron A. Peled, Moshe Y. VardiHäftad552 kr
Verification, Model Checking, and Abstract InterpretationFrancesco Logozzo, Doron A. Peled, Leonore D. ZuckHäftad552 kr
Formal Techniques for Networked and Distributed Systems - FORTE 2002Doron A. Peled, Moshe Y. VardiHäftad552 kr
Verification, Model Checking, and Abstract InterpretationFrancesco Logozzo, Doron A. Peled, Leonore D. ZuckHäftad552 kr
Signerad!NyhetSIGNERAD - Där färgen får styra : En berättelse i akvarellMaximilian Svensson, Linda NewnhamInbunden319 kr