Articles liés à Real-Time Systems: Specification, Verification and...
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Real-Time Systems: Specification, Verification and...
Image d'archives
Real-Time Systems: Specification, Verification and Analysis Joseph, M.
Edité par
Prentice Hall, 1995
ISBN 10 : 0134552970
ISBN 13 : 9780134552972
Ancien ou d'occasion
Couverture souple
Vendeur : Librairie Parrêsia, Figeac, France
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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]. N° de réf. du vendeur 0411UNMYFWN
Quantité disponible : 1 disponible(s)