Real-Time Systems: Formal Specification And Automatic Verification
Olderog, Ernst-Rüdiger; Dierks, Henning
Venduto da Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Venditore AbeBooks dal 17 aprile 2013
Nuovi - Rilegato
Condizione: New
Quantità: 1 disponibili
Aggiungere al carrello