Verifying Concurrent Processes Using Temporal Logic - Couverture souple

9780387112053: Verifying Concurrent Processes Using Temporal Logic

Couverture souple

ISBN 10 : 0387112057 ISBN 13 : 9780387112053

Editeur : Springer-Verlag

Afficher les exemplaires de cette �dition comportant l?ISBN

2 D'occasion

De EUR 149,99

0 Neuf

D�tails de l'�dition

�diteur: Springer-Verlag
Langue: anglais
ISBN 10: 0387112057
ISBN 13: 9780387112053
Reliure: Broch�
Coordonn�es du fabricant: non disponible

Acheter D'occasion

�tat : Assez bon

208 Seiten Sofort verf�gbar / Versand...

Afficher cet article

EUR 149,99

Autre devise

EUR 9 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

Autres �ditions populaires du m�me titre

9783540112051: Verifying Concurrent Processes Using Temporal Logic

Edition pr�sent�e

ISBN 10 : 3540112057 ISBN 13 : 9783540112051
Editeur : Springer, 2008
Couverture souple

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

Image d'archives

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)

Brent T. Hailpern

Edit� par Springer-Verlag, 1982

ISBN 10 : 0387112057 ISBN 13 : 9780387112053

Ancien ou d'occasion Taschenbuch

Vendeur : NEPO UG, R�sselsheim am Main, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Gut. 208 Seiten Sofort verf�gbar / Versand sp�testens am n�chsten Arbeitstag / Rechnung mit ausgewiesener MwSt. liegt bei / daily shipping worldwide with invoice / ex library in good condition / aus Bibliothek in guten Zustand/ Sprache: Englisch Gewicht in Gramm: 550. N� de r�f. du vendeur 183042

Contacter le vendeur