Real-Time Systems: Formal Specification And Automatic Verification
Olderog, Ernst-Rüdiger; Dierks, Henning
Vendido por Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Vendedor de AbeBooks desde 17 de abril de 2013
Nuevos - Encuadernación de tapa dura
Condición: New
Cantidad disponible: 1 disponibles
Añadir al carrito