Articoli correlati a Real-Time Systems: Formal Specification and Automatic...

Real-Time Systems: Formal Specification and Automatic Verification - Rilegato

 
9780521883337: Real-Time Systems: Formal Specification and Automatic Verification

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 buono
Gut/Very good: Buch bzw. Schutzumschlag...
Visualizza questo articolo

EUR 4,50 per la spedizione da Germania a Italia

Destinazione, tempi e costi

GRATIS per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

Risultati della ricerca per Real-Time Systems: Formal Specification and Automatic...

Foto dell'editore

E.-R. Olderog
ISBN 10: 0521883334 ISBN 13: 9780521883337
Antico o usato Rilegato

Da: medimops, Berlin, Germania

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

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

Contatta il venditore

Compra usato

EUR 4,97
Convertire valuta
Spese di spedizione: EUR 4,50
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Dierks, Henning
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 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

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

Contatta il venditore

Compra usato

EUR 6,33
Convertire valuta
Spese di spedizione: EUR 10,43
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Ernst-Rüdiger Olderog
ISBN 10: 0521883334 ISBN 13: 9780521883337
Nuovo Rilegato

Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.

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

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

Contatta il venditore

Compra nuovo

EUR 51,22
Convertire valuta
Spese di spedizione: GRATIS
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Ernst-Rüdiger Olderog
ISBN 10: 0521883334 ISBN 13: 9780521883337
Nuovo Rilegato

Da: Basi6 International, Irving, TX, U.S.A.

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

Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-384379

Contatta il venditore

Compra nuovo

EUR 51,22
Convertire valuta
Spese di spedizione: GRATIS
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

E-R Olderog Ernst-R?diger Olderog
ISBN 10: 0521883334 ISBN 13: 9780521883337
Nuovo Rilegato

Da: Books Puddle, New York, NY, U.S.A.

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

Condizione: New. pp. xvi + 320. Codice articolo 26531931

Contatta il venditore

Compra nuovo

EUR 48,87
Convertire valuta
Spese di spedizione: EUR 7,67
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Olderog E-R Olderog Ernst-R?diger
ISBN 10: 0521883334 ISBN 13: 9780521883337
Nuovo Rilegato

Da: Biblios, Frankfurt am main, HESSE, Germania

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

Condizione: New. pp. xvi + 320. Codice articolo 18531921

Contatta il venditore

Compra nuovo

EUR 49,97
Convertire valuta
Spese di spedizione: EUR 7,95
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Olderog E-R Olderog Ernst-R?diger
ISBN 10: 0521883334 ISBN 13: 9780521883337
Nuovo Rilegato

Da: Majestic Books, Hounslow, Regno Unito

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

Condizione: New. pp. xvi + 320 Illus. Codice articolo 8364548

Contatta il venditore

Compra nuovo

EUR 47,72
Convertire valuta
Spese di spedizione: EUR 10,25
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Olderog, Ernst-Rüdiger; Dierks, Henning
ISBN 10: 0521883334 ISBN 13: 9780521883337
Nuovo Rilegato

Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.

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

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

Contatta il venditore

Compra nuovo

EUR 65,72
Convertire valuta
Spese di spedizione: GRATIS
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Ernst-Rüdiger Olderog
ISBN 10: 0521883334 ISBN 13: 9780521883337
Nuovo Rilegato

Da: Basi6 International, Irving, TX, U.S.A.

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

Condizione: Brand New. New. US edition. Excellent Customer Service. Codice articolo ABEJUNE24-108182

Contatta il venditore

Compra nuovo

EUR 65,72
Convertire valuta
Spese di spedizione: GRATIS
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 3 disponibili

Aggiungi al carrello

Foto dell'editore

Olderog, Ernst-Rüdiger; Dierks, Henning
ISBN 10: 0521883334 ISBN 13: 9780521883337
Antico o usato Rilegato

Da: Mispah books, Redhill, SURRE, Regno Unito

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

Hardcover. Condizione: Like New. Like NewLIKE NEW. book. Codice articolo ERICA83605218833343

Contatta il venditore

Compra usato

EUR 56,08
Convertire valuta
Spese di spedizione: EUR 28,96
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Vedi altre 12 copie di questo libro

Vedi tutti i risultati per questo libro