Real-Time Systems: Formal Specification and Automatic Verification
Olderog, Ernst-Rüdiger; Dierks, Henning
ISBN 10: 0521883334 ISBN 13: 9780521883337
Editore: Cambridge University Press, 2008
Nuovi
Rilegato
Da
Best Price, Torrance, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 30 agosto 2024
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
SUPER FAST SHIPPING. Codice articolo 9780521883337
Riassunto:
Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications.
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.
Dati bibliografici
Titolo: Real-Time Systems: Formal Specification and ...
Casa editrice: Cambridge University Press
Data di pubblicazione: 2008
Legatura: Rilegato
Condizione: New
I migliori risultati di ricerca su AbeBooks
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,04
Spese di spedizione:
EUR 6,35
Da: Regno Unito a: 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,22
Spese di spedizione:
EUR 7,37
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,43
Spese di spedizione:
EUR 3,43
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: 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,56
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,56
Spese di spedizione:
GRATIS
In 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,72
Spese di spedizione:
GRATIS
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-103730
Compra nuovo
EUR 67,78
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,78
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Real-Time Systems: Formal Specification and Automatic Verification
Da: The Book Spot, Sioux Falls, MN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: New. Codice articolo Abebooks143631
Compra nuovo
EUR 74,45
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili