Real-Time Systems
Scheduling, Analysis, and Verification
Albert M. K. Cheng
PDF
169,99 €
Amazon
iTunes
Thalia.de
Weltbild.de
Hugendubel
Bücher.de
ebook.de
kobo
Osiander
Google Books
Barnes&Noble
bol.com
Legimi
yourbook.shop
Kulturkaufhaus
ebooks-center.de
* Affiliatelinks/Werbelinks
* Affiliatelinks/Werbelinks
Hinweis: Affiliatelinks/Werbelinks
Links auf reinlesen.de sind sogenannte Affiliate-Links. Wenn du auf so einen Affiliate-Link klickst und über diesen Link einkaufst, bekommt reinlesen.de von dem betreffenden Online-Shop oder Anbieter eine Provision. Für dich verändert sich der Preis nicht.
Links auf reinlesen.de sind sogenannte Affiliate-Links. Wenn du auf so einen Affiliate-Link klickst und über diesen Link einkaufst, bekommt reinlesen.de von dem betreffenden Online-Shop oder Anbieter eine Provision. Für dich verändert sich der Preis nicht.
Naturwissenschaften, Medizin, Informatik, Technik / Elektronik, Elektrotechnik, Nachrichtentechnik
Beschreibung
The first book to provide a comprehensive overview of the subject rather than a collection of papers. * The author is a recognized authority in the field as well as an outstanding teacher lauded for his ability to convey these concepts clearly to many different audiences. * A handy reference for practitioners in the field.
Rezensionen
(Computer
Magazine, November 2004)
"The author provides a substantial, up-to-date overview of the verification and validation process..."
"The author provides a substantial, up-to-date overview of the verification and validation process..."
(International Journal of General
Systems, December 2003)
"The unifying discussion on the formal analysis and verification methods are especially valuable and enlightening, both for graduate students and researchers."
"The unifying discussion on the formal analysis and verification methods are especially valuable and enlightening, both for graduate students and researchers."
Weitere Titel in dieser Kategorie
Kundenbewertungen
Schlagwörter
Computer Hardware, Systems Engineering & Management, Hardware, Electrical & Electronics Engineering, Computer Science, Intelligent Systems & Agents, Systemtechnik u. -management, Elektrotechnik u. Elektronik, Informatik, Intelligente Systeme u. Agenten, Echtzeitsystem