The foundations of program verification. and Kurt Sieber. In collab. with Ryan D. Stansifer, Wiley-Teubner series in computer science
Loeckx, Jacques:
Vendu par NEPO UG, Rüsselsheim am Main, Allemagne
Vendeur AbeBooks depuis 15 novembre 2018
Ancien(s) ou d'occasion
Etat : Occasion - Assez bon
Quantité disponible : 1 disponible(s)
Ajouter au panier