Items related to Real-Time Systems: Specification, Verification and...
Real-Time Systems: Specification, Verification and Analysis (Prentice Hall International Series in Computing Science)
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Real-Time Systems: Specification, Verification and...
Stock Image
Real-Time Systems: Specification, Verification and Analysis Joseph, M.
Seller: Librairie Parrêsia, Figeac, France
Seller rating 5 out of 5 stars
Condition: 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]. Seller Inventory # 0411UNMYFWN
Quantity: 1 available