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

Hailpern B., T.:

ISBN 10: 3540112057 ISBN 13: 9783540112051

Published by Springer, 2008

Language: English

Used Condition: Befriedigend Soft cover

Save for Later

Sold by Studibuch, Stuttgart, Germany

AbeBooks Seller since 24 April 2018

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

Used - Soft cover

Condition: Befriedigend

Price: � 6.22 Convert Currency

� 12.88 shipping from Germany to United Kingdom Destination, rates & speeds

Quantity: 1 available

Add to basket

Save for Later

About this Item

Seiten; 9783540112051.4 Gewicht in Gramm: 500.

Seller Inventory # 689038

Contact seller

Report this item

Bibliographic Details

Title

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

Publisher

Springer

Publication Date

2008

Language

English

ISBN 10

3540112057

ISBN 13

9783540112051

Binding

paperback

Condition

Befriedigend

Seller catalogs

Varia

Store Description

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.

Visit Seller's Storefront