Articles liés à Verifying Concurrent Processes Using Temporal Logic

Verifying Concurrent Processes Using Temporal Logic - Couverture souple

Hailpern, B. T.

 
9783540112051: Verifying Concurrent Processes Using Temporal Logic
Couverture souple
ISBN 10 : 3540112057 ISBN 13 : 9783540112051
Editeur : Springer, 2008
Éditeur
Springer
Date d'édition
2008
Langue
anglais
ISBN 10 
3540112057
ISBN 13 
9783540112051
Reliure
Broché
Nombre de pages
224
Coordonnées du fabricant
non disponible

Acheter D'occasion

état :  Satisfaisant
Seiten; 9783540112051.4 Gewicht...
Afficher cet article
9783540112051: Verifying Concurrent Processes Using Temporal Logic
EUR 6,99

Autre devise

EUR 13,90 expédition depuis Allemagne vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
9783540112051: Verifying Concurrent Processes Using Temporal Logic
EUR 48,37

Autre devise

EUR 9,70 expédition depuis Allemagne vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9780387112053: Verifying Concurrent Processes Using Temporal Logic

Edition présentée

ISBN 10 :  0387112057 ISBN 13 :  9780387112053
Editeur : Springer-Verlag
Couverture souple

Résultats de recherche pour Verifying Concurrent Processes Using Temporal Logic

Image fournie par le vendeur

Hailpern B., T.:
Edité par Springer, 2008
ISBN 10 : 3540112057 ISBN 13 : 9783540112051
Ancien ou d'occasion paperback

Vendeur : Studibuch, Stuttgart, Allemagne

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

paperback. Etat : Befriedigend. Seiten; 9783540112051.4 Gewicht in Gramm: 500. N° de réf. du vendeur 689038

Contacter le vendeur

Acheter D'occasion

EUR 6,99
Autre devise
Frais de port : EUR 13,90
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

B. T. Hailpern
ISBN 10 : 3540112057 ISBN 13 : 9783540112051
Ancien ou d'occasion Softcover

Vendeur : Ammareal, Morangis, France

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

Softcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 1981. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1981. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur E-576-600

Contacter le vendeur

Acheter D'occasion

EUR 32,08
Autre devise
Frais de port : EUR 3,50
Vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

B. T. Hailpern
Edité par Springer Berlin Heidelberg, 1982
ISBN 10 : 3540112057 ISBN 13 : 9783540112051
Neuf Couverture souple
impression à la demande

Vendeur : moluna, Greven, Allemagne

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

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.InhaltsverzeichnisProgramming environment.- Verification.- Temporal logic.- 5. Techniques.- Networ. N° de réf. du vendeur 4881303

Contacter le vendeur

Acheter neuf

EUR 48,37
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

B. T. Hailpern
Edité par Springer Berlin Heidelberg, 1982
ISBN 10 : 3540112057 ISBN 13 : 9783540112051
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

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

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion. N° de réf. du vendeur 9783540112051

Contacter le vendeur

Acheter neuf

EUR 53,49
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Hailpern, B. T.
Edité par Springer, 1982
ISBN 10 : 3540112057 ISBN 13 : 9783540112051
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

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

Etat : New. In. N° de réf. du vendeur ria9783540112051_new

Contacter le vendeur

Acheter neuf

EUR 60,46
Autre devise
Frais de port : EUR 4,61
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

B. T. Hailpern
ISBN 10 : 3540112057 ISBN 13 : 9783540112051
Neuf Taschenbuch
impression à la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

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

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch. N° de réf. du vendeur 9783540112051

Contacter le vendeur

Acheter neuf

EUR 53,49
Autre devise
Frais de port : EUR 15
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

B. T. Hailpern
ISBN 10 : 3540112057 ISBN 13 : 9783540112051
Neuf Taschenbuch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

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

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion. 220 pp. Englisch. N° de réf. du vendeur 9783540112051

Contacter le vendeur

Acheter neuf

EUR 74,89
Autre devise
Frais de port : EUR 11
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Hailpern, B. T.
Edité par Springer 1982-03, 1982
ISBN 10 : 3540112057 ISBN 13 : 9783540112051
Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

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

PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540112051

Contacter le vendeur

Acheter neuf

EUR 76,77
Autre devise
Frais de port : EUR 10,96
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 10 disponible(s)

Ajouter au panier

Image d'archives

Hailpern, B. T.
Edité par Springer, 1982
ISBN 10 : 3540112057 ISBN 13 : 9783540112051
Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

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

Etat : New. N° de réf. du vendeur ABLIING23Mar3113020159320

Contacter le vendeur

Acheter neuf

EUR 52,15
Autre devise
Frais de port : EUR 64,20
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier