Articoli correlati a Real-Time Systems: Formal Specification and Automatic...
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.
Compra usato
Condizioni: molto buonoGut/Very good: Buch bzw. Schutzumschlag...
Visualizza questo articolo
EUR 4,97
EUR 4,50 per la spedizione da Germania a Italia
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 51,22
GRATIS per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiRisultati 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: medimops, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. Codice articolo M00521883334-V
Quantità: 1 disponibili
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
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
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 ABEJUNE24-384379
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
Quantità: 1 disponibili
Foto dell'editore
Real-Time Systems
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. xvi + 320. Codice articolo 18531921
Quantità: 1 disponibili
Foto dell'editore
Real-Time Systems
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. xvi + 320 Illus. Codice articolo 8364548
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-184042
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. Excellent Customer Service. Codice articolo ABEJUNE24-108182
Quantità: 3 disponibili
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: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: Like New. Like NewLIKE NEW. book. Codice articolo ERICA83605218833343
Quantità: 1 disponibili