Navet, Nicolas | Merz, Stephan Modeling and Verification of Real-time Systems : Formalisms and Software Tools 2013 - ISTE Erlaubte Funktionen anzeigen Download Kopieren Einfügen Drucken 2245 EUR 224,41 MwSt ausgenomen Kaufen EPUB eB eBook
Navet, Nicolas | Merz, Stephan Modeling and Verification of Real-time Systems : Formalisms and Software Tools 2010 - ISTE Erlaubte Funktionen anzeigen Herunterladen Kopieren/Einfügen Drucken Herunterladen | NO Kopieren/Einfügen | NO Drucken EUR 224,41 MwSt ausgenomen Kaufen PDF eB eBook