The Temporal Logic of Reactive and Concurrent Systems: Specification
Manna, Zohar; Pnueli, Amir
Vendu par BennettBooksLtd, North Las Vegas, NV, Etats-Unis
Vendeur AbeBooks depuis 17 avril 2008
Neuf(s) - Couverture rigide
Etat : Neuf
Quantité disponible : 1 disponible(s)
Ajouter au panier