Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)
Apt, Krzysztof R.; Olderog, Ernst-Rudiger
Vendido por BooksRun, Philadelphia, PA, Estados Unidos de America
Vendedor de AbeBooks desde 2 de febrero de 2016
Usado - Encuadernación de tapa dura
Condición: Usado - Aceptable
Cantidad disponible: 1 disponibles
Añadir al carrito