Articoli correlati a Real-Time Systems: Specification, Verification and...

Real-Time Systems: Specification, Verification and Analysis

 
9780134552972: Real-Time Systems: Specification, Verification and Analysis

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by None

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Compra usato

Condizioni: buono
Real-Time Systems: Specification...
Visualizza questo articolo

EUR 13,80 per la spedizione da Francia a Italia

Destinazione, tempi e costi

Risultati della ricerca per Real-Time Systems: Specification, Verification and...

Foto dell'editore

Editore: Prentice Hall, 1995
ISBN 10: 0134552970 ISBN 13: 9780134552972
Antico o usato Brossura

Da: Librairie Parrêsia, Figeac, Francia

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: 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]. Codice articolo 0411UNMYFWN

Contatta il venditore

Compra usato

EUR 23,48
Convertire valuta
Spese di spedizione: EUR 13,80
Da: Francia a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello