Verifying Concurrent Processes Using Temporal Logic

Hailpern, B. T.

ISBN 10: 3540112057 ISBN 13: 9783540112051

Edit� par Springer 1982-03, 1982

Langue: anglais

Neuf(s) Etat : New Couverture souple

Mettre de c�t�

Vendu par Chiron Media, Wallingford, Royaume-Uni

Vendeur AbeBooks depuis 2 ao�t 2010

�valuation du vendeur 4 sur 5 �toiles

Afficher tous les articles du vendeur

Afficher tous les exemplaires de ce livre

Neuf(s) - Couverture souple

Etat : New

Prix: EUR 76,77 Autre devise

EUR 10,96 exp�dition depuis Royaume-Uni vers France Destinations, frais et d�lais

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Mettre de c�t�

A propos de cet article

N� de r�f. du vendeur 6666-IUK-9783540112051

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre: Verifying Concurrent Processes Using Temporal Logic
�diteur: Springer 1982-03
Date de parution: 1982
Langue: anglais
ISBN � 10 chiffres: 3540112057
ISBN � 13 chiffres: 9783540112051
Reliure: PF
�tat de l'article: New

Description de la librairie

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

WRAP Ltd
Unit 4, 119 Loverock Rd, Reading, RG30 1DZ, United Kingdom

Conditions de vente et de livraison

Conditions g�n�rales de vente

TBA

Conditions d'exp�dition

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Modes de paiement

Ajouter aux demandes de livres