Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)
Brent T. Hailpern
Vendu par NEPO UG, Rüsselsheim am Main, Allemagne
Vendeur AbeBooks depuis 15 novembre 2018
Ancien(s) ou d'occasion - Couverture souple
Etat : Occasion - Assez bon
Quantité disponible : 1 disponible(s)
Ajouter au panier