Yazar
Nicolas Navet
4 cilt bulundu.
Cilt sonuçları
Automotive embedded systems handbook
Nicolas Navet · CRC
470 sayfa · 2008
Automobiles / Equipment and supplies / Automatic control / Automotive computers / Embedded computer systems
Modeling and verification of real-time systems
Nicolas Navet, Stephan Merz · ISTE/John Wiley
Sayfa sayısı yok · 2008
Real-time data processing / Computer software / Formal methods (Computer science) / Verification / Computer software, verification
Modeling and Verification of Real-Time Systems
Nicolas Navet, Stephan Merz · Wiley & Sons, Incorporated, John
448 sayfa · 2010
Computer software, verification / Real-time data processing / System design
Automotive Embedded Systems Handbook. Industrial Information Technology Series
Nicolas Navet, Francoise Simonot-Lion, Richard Zurawski · Taylor & Francis Group
490 sayfa · 2009
Kategori yok