Articles liés à Real-Time Systems: Formal Specification and Automatic...

Real-Time Systems: Formal Specification and Automatic Verification - Couverture rigide

Olderog, Ernst-Rüdiger; Dierks, Henning

 
9780521883337: Real-Time Systems: Formal Specification and Automatic Verification
Couverture rigide
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Editeur : Cambridge University Press, 2008

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.

Éditeur
Cambridge University Press
Date d'édition
2008
Langue
anglais
ISBN 10 
0521883334
ISBN 13 
9780521883337
Reliure
Relié
Numéro d'édition
1
Nombre de pages
344
Coordonnées du fabricant
non disponible
Personne responsable
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
France

Acheter D'occasion

état :  Assez bon
The book has been read, but is...
Afficher cet article
9780521883337: Real-Time Systems: Formal Specification and Automatic Verification
EUR 10,64

Autre devise

EUR 6,35 expédition depuis Royaume-Uni vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
9780521883337: Real-Time Systems: Formal Specification and Automatic Verification
EUR 49,60

Autre devise

Gratuit expédition depuis Etats-Unis vers France

Destinations, frais et délais

Résultats de recherche pour Real-Time Systems: Formal Specification and Automatic...

Image d'archives

Dierks, Henning
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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter D'occasion

EUR 10,64
Autre devise
Frais de port : EUR 6,35
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Ernst-Rüdiger Olderog
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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 49,60
Autre devise
Frais de port : Gratuit
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Ernst-Rüdiger Olderog
Edité par Cambridge University Press, 2008
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Neuf Couverture rigide

Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. N° de réf. du vendeur ASNT3-36648

Contacter le vendeur

Acheter neuf

EUR 51,80
Autre devise
Frais de port : Gratuit
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Ernst-Rüdiger Olderog
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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 49,60
Autre devise
Frais de port : EUR 2,86
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

E-R Olderog Ernst-R?diger Olderog
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Neuf Couverture rigide

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. xvi + 320. N° de réf. du vendeur 26531931

Contacter le vendeur

Acheter neuf

EUR 47,78
Autre devise
Frais de port : EUR 7,69
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Olderog E-R Olderog Ernst-R?diger
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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. xvi + 320. N° de réf. du vendeur 18531921

Contacter le vendeur

Acheter neuf

EUR 48,03
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Olderog E-R Olderog Ernst-R?diger
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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. xvi + 320 Illus. N° de réf. du vendeur 8364548

Contacter le vendeur

Acheter neuf

EUR 46,72
Autre devise
Frais de port : EUR 10,22
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Olderog, Ernst-Rüdiger; Dierks, Henning
Edité par Cambridge University Press, 2008
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Neuf Couverture rigide

Vendeur : ALLBOOKS1, Direk, SA, Australie

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

N° de réf. du vendeur SHUB384379

Contacter le vendeur

Acheter neuf

EUR 59,21
Autre devise
Frais de port : Gratuit
De Australie vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Ernst-Rüdiger Olderog
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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Brand New. New. US edition. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-108182

Contacter le vendeur

Acheter neuf

EUR 63,82
Autre devise
Frais de port : EUR 2,86
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 3 disponible(s)

Ajouter au panier

Image d'archives

Olderog, Ernst-Rüdiger; Dierks, Henning
Edité par Cambridge University Press, 2008
ISBN 10 : 0521883334 ISBN 13 : 9780521883337
Neuf Couverture rigide

Vendeur : ALLBOOKS1, Direk, SA, Australie

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

N° de réf. du vendeur SHUB108182

Contacter le vendeur

Acheter neuf

EUR 75,76
Autre devise
Frais de port : Gratuit
De Australie vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

There are 15 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre