The foundations of program verification. and Kurt Sieber. In collab. with Ryan D. Stansifer, Wiley-Teubner series in computer science
Loeckx, Jacques:
Vendido por NEPO UG, Rüsselsheim am Main, Alemania
Vendedor de AbeBooks desde 15 de noviembre de 2018
Usado
Condición: Usado - Bueno
Cantidad disponible: 1 disponibles
Añadir al carrito