Verwandte Artikel zu Real-Time Systems: Specification, Verification and...
Real-Time Systems: Specification, Verification and Analysis (Prentice Hall International Series in Computing Science)
Inhaltsangabe
This text provides an account of real-time systems: program structures for real-time timing analysis using scheduling theory and specification and verification in different frameworks. The presentation makes use of recent research which has demonstrated the effectiveness and applicability of mathematically-based methods for real-time system design. Each chapter focuses on a particular technique and examples help reinforce the theory presented in the text. Coverage includes advanced scheduling theory, as well as new specification and verification methods, linked together by consideration of a common, non-trivial example. All chapters contains exercises in the general text as well as graded exercises at the end.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This text provides an account of real-time systems: program structures for real-time timing analysis using scheduling theory and specification and verification in different frameworks. The presentation makes use of recent research which has demonstrated the effectiveness and applicability of mathematically-based methods for real-time system design. Each chapter focuses on a particular technique and examples help reinforce the theory presented in the text. Coverage includes advanced scheduling theory, as well as new specification and verification methods, linked together by consideration of a common, non-trivial example. All chapters contains exercises in the general text as well as graded exercises at the end.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Real-Time Systems: Specification, Verification and...
Beispielbild für diese ISBN
Real-Time Systems: Specification, Verification and Analysis Joseph, M.
Anbieter: Librairie Parrêsia, Figeac, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Used: Good. Real-Time Systems: Specification, Verification and Analysis| Mathai Joseph | Prentice Hall, 1996. In-8° broché, 278p. Couverture propre. Dos solide. Intérieur frais sans soulignage ou annotation. Exemplaire de bibliothèque : petit code barre en pied de 1re de couv., cotation au dos, rares et discrets petits tampons à l'intérieur de l'ouvrage. Très bon état général. [BA39]. Bestandsnummer des Verkäufers 0411UNMYFWN
Anzahl: 1 verfügbar