img Leseprobe Leseprobe

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
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.

John Wiley & Sons img Link Publisher

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..."
(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."
Weitere Titel in dieser Kategorie
Cover ARDUINO DETECTION
ADDISON GARDNER

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