Specifying Message Passing and Time-Critical Systems With Temporal Logic - Couverture souple

Koymans, Ron

9780387562834: Specifying Message Passing and Time-Critical Systems With Temporal Logic

Couverture souple

ISBN 10 : 0387562834 ISBN 13 : 9780387562834

Editeur : Springer Verlag, 1992

Afficher les exemplaires de cette �dition comportant l?ISBN

2 D'occasion

De EUR 37,09

2 Neuf

De EUR 81,68

D�tails de l'�dition

�diteur: Springer Verlag
Date d'�dition: 1992
Langue: anglais
ISBN 10: 0387562834
ISBN 13: 9780387562834
Reliure: Broch�
Coordonn�es du fabricant: non disponible
Personne responsable: non disponible

Acheter D'occasion

�tat : Assez bon

This book is in very good condition...

Afficher cet article

EUR 37,09

Exp�dition �EUR 4,25
Exp�dition nationale�: Etats-Unis

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 81,68

Exp�dition �EUR 3,43
Exp�dition nationale�: Etats-Unis

Ajouter au panier

Autres �ditions populaires du m�me titre

9783540562832: Specifying Message Passing and Time-Critical Systems with Temporal Logic

Edition pr�sent�e

ISBN 10 : 3540562834 ISBN 13 : 9783540562832
Editeur : Springer, 2008
Couverture souple

R�sultats de recherche pour Specifying Message Passing and Time-Critical Systems...

Image d'archives

Specifying Message Passing and Time-Critical Systems With Temporal Logic

Koymans, Ron

Edit� par Springer-Verlag, 1992

ISBN 10 : 0387562834 ISBN 13 : 9780387562834

Ancien ou d'occasion Paperback

Vendeur : Mahler Books, PFLUGERVILLE, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Very Good. This book is in very good condition; no remainder marks. It does have some cover shelfwear. Inside pages are clean. ; Lecture Notes in Computer Science; 9 X 6 X 0.50 inches; 164 pages. N� de r�f. du vendeur 122112-320-181

Contacter le vendeur

Acheter D'occasion

EUR 37,09

Exp�dition �EUR 4,25
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Specifying Message Passing and Time-Critical Systems with Temporal Logic

Ron Koymans

Edit� par Springer, 1992

ISBN 10 : 0387562834 ISBN 13 : 9780387562834

Neuf Couverture souple

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

�valuation du vendeur 4 sur 5 �toiles

Etat : New. pp. viii + 164 Index. N� de r�f. du vendeur 2650380094

Contacter le vendeur

Acheter neuf

EUR 81,68

Exp�dition �EUR 3,43
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Specifying Message Passing and Time-Critical Systems with Temporal Logic

Koymans Ron

Edit� par Springer, 1992

ISBN 10 : 0387562834 ISBN 13 : 9780387562834

Neuf Couverture souple

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. pp. viii + 164. N� de r�f. du vendeur 1850380084

Contacter le vendeur

Acheter neuf

EUR 82,48

Exp�dition �EUR 9,95
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Specifying Message Passing and Time-Critical Systems With Temporal Logic (Lecture Notes in Computer Science)

Koymans, Ron:

Edit� par Springer-Verlag 01.12.1992., 1992

ISBN 10 : 0387562834 ISBN 13 : 9780387562834

Ancien ou d'occasion Couverture souple

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

�valuation du vendeur 5 sur 5 �toiles

Etat : Sehr gut. Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 248 22,9 x 15,2 x 1,3 cm, Taschenbuch. N� de r�f. du vendeur 352195

Contacter le vendeur

Acheter D'occasion

EUR 76,10

Exp�dition �EUR 24
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier