REAL-TIME SYSTEMS: FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION
Ernst-Rüdiger Olderog
Vendu par Basi6 International, Irving, TX, Etats-Unis
Vendeur AbeBooks depuis 24 juin 2016
Neuf(s) - Couverture rigide
Etat : Brand New
Quantité disponible : 3 disponible(s)
Ajouter au panier