Sinossi
Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sugli autori
E.-R. Olderog is Professor of Computer Science at the University of Oldenburg, Germany. In 1994 he was awarded the Leibniz Prize of the German Research Council (DFG).
H. Dierks is a researcher currently working with OFFIS, a technology transfer institute for computer science in Oldenburg, Germany.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Real-Time Systems: Formal Specification and Automatic...
Foto dell'editore
Real-Time Systems: Formal Specification and Automatic Verification
Editore:
Cambridge University Press, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Antico o usato
Rilegato
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Codice articolo GOR007278795
Compra usato
EUR 8,03
Spese di spedizione:
EUR 6,34
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Real-Time Systems
Editore:
Cambridge University Press CUP, 2008
ISBN 10: 0521883334
ISBN 13: 9780521883337
Nuovo
Rilegato
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. xvi + 320. Codice articolo 26531931
Compra nuovo
EUR 47,55
Spese di spedizione:
EUR 3,44
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Real-Time Systems: Formal Specification and Automatic Verification
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT25-103729
Compra nuovo
EUR 52,69
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Real-Time Systems Formal Specification and Automatic Verification
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-36648
Compra nuovo
EUR 52,69
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Real-Time Systems
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. xvi + 320 Illus. Codice articolo 8364548
Compra nuovo
EUR 47,33
Spese di spedizione:
EUR 7,36
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Real-Time Systems Formal Specification and Automatic Verification
Da: SMASS Sellers, IRVING, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Codice articolo ASNT3-36648
Compra nuovo
EUR 54,86
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Real-Time Systems
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. xvi + 320. Codice articolo 18531921
Compra nuovo
EUR 47,48
Spese di spedizione:
EUR 9,95
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Real-Time Systems: Formal Specification and Automatic Verification
Da: ALLBOOKS1, Direk, SA, Australia
Valutazione del venditore 5 su 5 stelle
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Codice articolo SHAK103729
Compra nuovo
EUR 62,99
Spese di spedizione:
GRATIS
Da: Australia a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
REAL-TIME SYSTEMS: FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT25-103730
Compra nuovo
EUR 67,95
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 3 disponibili
Foto dell'editore
Real-Time Systems: Formal Specification And Automatic Verification
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-184042
Compra nuovo
EUR 67,95
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili