The foundations of program verification. and Kurt Sieber. In collab. with Ryan D. Stansifer, Wiley-Teubner series in computer science
Loeckx, Jacques:
Venduto da NEPO UG, Rüsselsheim am Main, Germania
Venditore AbeBooks dal 15 novembre 2018
Usato
Condizione: Usato - Molto buono
Quantità: 1 disponibili
Aggiungere al carrello