Real-Time Systems: Formal Specification and Automatic Verification
Olderog, Ernst-Rüdiger, Dierks, Henning
Vendu par The Book Spot, Sioux Falls, MN, Etats-Unis
Vendeur AbeBooks depuis 5 février 2013
Neuf(s) - Couverture rigide
Etat : New
Quantité disponible : 1 disponible(s)
Ajouter au panier