Titre: Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)
�diteur: Springer Verlag
Date de parution: 1991
Langue: anglais
ISBN � 10 chiffres: 0387975322
ISBN � 13 chiffres: 9780387975320
Reliure: Couverture rigide
�tat de l'article: Neuf

A propos de ce titre

Synopsis

Book by Apt Krzysztof R Olderog ErnstRudiger

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Australian Book seller. Weide varierty of fiction and non-fiction books

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

sadia zaki
21, harriet court, Salisbury Plain, SA, 5107, Australia

Conditions de vente et de livraison

Conditions g�n�rales de vente

Ships from Australia and USA

Droit de r�tractation

Conditions d'exp�dition

Shipping rates are for 1 KG book. For heavy items additional charges may be requested

Frais d?exp�dition de Australie�vers�Etats-Unis

Frais d?exp�dition de Australie�vers�Etats-Unis
Quantit� command�e	4 � 13 jours ouvr�s	3 � 6 jours ouvr�s
Premier article	EUR 0.00	EUR 12.93

Les d�lais de livraison sont fix�s par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent �tre retard�es et les acheteurs sont responsables de tous les droits ou frais associ�s. Les vendeurs peuvent vous contacter au sujet de frais suppl�mentaires afin de couvrir toute augmentation des co�ts d'exp�dition de vos articles.