Articles liés à Real-Time Systems: Formal Specification and Automatic...
Synopsis
Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos des auteurs
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 51,03
Gratuit expédition depuis Etats-Unis vers France
Destinations, frais et délaisRésultats de recherche pour Real-Time Systems: Formal Specification and Automatic...
Image d'archives
Real-Time Systems: Formal Specification and Automatic Verification
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521883334
ISBN 13 : 9780521883337
Ancien ou d'occasion
Couverture rigide
Vendeur : medimops, Berlin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur M00521883334-V
Quantité disponible : 1 disponible(s)
Image d'archives
Real-Time Systems: Formal Specification and Automatic Verification
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521883334
ISBN 13 : 9780521883337
Ancien ou d'occasion
Couverture rigide
Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : 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. N° de réf. du vendeur GOR007278795
Quantité disponible : 1 disponible(s)
Image d'archives
Real-Time Systems Formal Specification and Automatic Verification
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521883334
ISBN 13 : 9780521883337
Neuf
Couverture rigide
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur ABNR-36648
Quantité disponible : 1 disponible(s)
Image d'archives
Real-Time Systems: Formal Specification and Automatic Verification
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521883334
ISBN 13 : 9780521883337
Neuf
Couverture rigide
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-384379
Quantité disponible : 1 disponible(s)
Image d'archives
Real-Time Systems
Edité par
Cambridge University Press CUP, 2008
ISBN 10 : 0521883334
ISBN 13 : 9780521883337
Neuf
Couverture rigide
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. xvi + 320. N° de réf. du vendeur 26531931
Quantité disponible : 1 disponible(s)
Image d'archives
Real-Time Systems
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521883334
ISBN 13 : 9780521883337
Neuf
Couverture rigide
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. xvi + 320 Illus. N° de réf. du vendeur 8364548
Quantité disponible : 1 disponible(s)
Image d'archives
Real-Time Systems
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521883334
ISBN 13 : 9780521883337
Neuf
Couverture rigide
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. xvi + 320. N° de réf. du vendeur 18531921
Quantité disponible : 1 disponible(s)
Image d'archives
Real-Time Systems: Formal Specification And Automatic Verification
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521883334
ISBN 13 : 9780521883337
Neuf
Couverture rigide
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur ABNR-184042
Quantité disponible : 1 disponible(s)
Image d'archives
REAL-TIME SYSTEMS: FORMAL SPECIFICATION AND AUTOMATIC VERIFICATION
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521883334
ISBN 13 : 9780521883337
Neuf
Couverture rigide
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-108182
Quantité disponible : 3 disponible(s)
Image d'archives
Real-Time Systems: Formal Specification and Automatic Verification
Edité par
Cambridge University Press, 2008
ISBN 10 : 0521883334
ISBN 13 : 9780521883337
Ancien ou d'occasion
Couverture rigide
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : Like New. Like NewLIKE NEW. book. N° de réf. du vendeur ERICA83605218833343
Quantité disponible : 1 disponible(s)