Real-Time Systems: Formal Specification and Automatic Verification
Olderog, Ernst-Rüdiger; Dierks, Henning
Vendido por Ria Christie Collections, Uxbridge, Reino Unido
Vendedor de AbeBooks desde 25 de marzo de 2015
Nuevos - Encuadernación de tapa dura
Condición: New
Cantidad disponible: Más de 20 disponibles
Añadir al carrito