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

Hailpern B., T.:

ISBN 10: 3540112057 ISBN 13: 9783540112051

Edit� par Springer, 2008

Langue: anglais

Ancien(s) ou d'occasion Etat : Befriedigend Couverture souple

Mettre de c�t�

Vendu par Studibuch, Stuttgart, Allemagne

Vendeur AbeBooks depuis 24 avril 2018

�valuation du vendeur 5 sur 5 �toiles

Afficher tous les articles du vendeur

Afficher tous les exemplaires de ce livre

Ancien(s) ou d'occasion - Couverture souple

Etat : Befriedigend

Prix: EUR 6,99 Autre devise

EUR 13,90 exp�dition depuis Allemagne vers France Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Mettre de c�t�

A propos de cet article

Seiten; 9783540112051.4 Gewicht in Gramm: 500.

N� de r�f. du vendeur 689038

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre

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

�diteur

Springer

Date de parution

2008

Langue

anglais

ISBN � 10 chiffres

3540112057

ISBN � 13 chiffres

9783540112051

Reliure

paperback

�tat de l'article

Befriedigend

Catalogues du vendeur

Varia

Description de la librairie

Studibuch ist ein Onlineshop f�r Studien- und Fachb�cher. Bei uns bekommst Du gebrauchte und gut erhaltene Fachliteratur zu fairen Preisen. B�cher mehrmals zu verwenden bedeutet, knappe Ressourcen nachhaltig zu nutzen. Durch deinen Einkauf bei Studibuch entsteht eine Wertekette, die vollst�ndig auf nachhaltiges Wirtschaften ausgerichtet ist und ein Zeichen gegen die Wegwerfmentalit�t setzt. Wenn Du selbst noch gebrauchte Fachb�cher hast, die Du nicht mehr ben�tigst dann kannst Du sie auf Studibuch.de verkaufen. Mit Deinem Verkauf bei Studibuch schaffst Du Platz im Regal und kannst den Verkaufserl�s f�r ein neues Fachbuch nutzen. Der Verkauf funktioniert ganz einfach. Du gibst die ISBN oder den Buchtitel auf unserer Seite ein oder scannst mit der kostenlosen Studibuch App den Barcode des Buches. Jetzt fehlt nur noch eine Angabe zum Zustand und dann wird Dir direkt der Verkaufspreis genannt. Nachdem Du alle B�cher eingegeben hast, kannst Du �ber einen Link Deinen Paketschein ausdrucken und die B�cher an uns versenden. Nach Eintreffen der B�cher erh�ltst Du garantiert innerhalb von drei Werktagen Dein Geld.

Visitez la page d�accueil du vendeur