Verifying Concurrent Processes Using Temporal Logic

Hailpern, B. T.

ISBN 10: 3540112057 ISBN 13: 9783540112051

Verlag: Springer 1982-03, 1982

Sprache: Englisch

Neu Zustand: New Softcover

F�r sp�ter vormerken

Verkauft von Chiron Media, Wallingford, Vereinigtes K�nigreich

AbeBooks-Verk�ufer seit 2. August 2010

Verk�uferbewertung 4 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Neu - Softcover

Zustand: New

Preis: EUR 76,77 W�hrung umrechnen

EUR 15,01 f�r den Versand von Vereinigtes K�nigreich nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 10 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

Bestandsnummer des Verk�ufers 6666-IUK-9783540112051

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Verifying Concurrent Processes Using Temporal Logic
Verlag: Springer 1982-03
Ver�ffentlichungsdatum: 1982
Sprache: Englisch
ISBN-10: 3540112057
ISBN-13: 9783540112051
Bindung: PF
Zustand: New

�ber diesen Titel

Inhaltsangabe

es un libro, ver nuestra descripci�n completa

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

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

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

TBA

Versandbedingungen

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.

Zahlungsarten

Zu Kaufgesuchen hinzuf�gen

Verwandte Artikel zu Verifying Concurrent Processes Using Temporal Logic