Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) - Softcover

9780387112053: Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)

Softcover

ISBN 10: 0387112057 ISBN 13: 9780387112053

Alle Exemplare dieser ISBN-Ausgabe

2 Gebraucht

Von EUR 149,99

0 Neu

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Sprache: Englisch
ISBN 10: 0387112057
ISBN 13: 9780387112053
Einband: Tapa blanda
Kontakt zum Hersteller: Nicht verf�gbar
Verantwortliche Person: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Gebraucht kaufen

Zustand: Gut

208 Seiten Sofort verf�gbar Versand...

Diesen Artikel anzeigen

EUR 149,99

W�hrung umrechnen

EUR 24,00 f�r den Versand von Deutschland nach USA

Versandziele, Kosten & Dauer

In den Warenkorb

Weitere beliebte Ausgaben desselben Titels

9783540112051: Verifying Concurrent Processes Using Temporal Logic: 129 (Lecture Notes in Computer Science)

Vorgestellte Ausgabe

ISBN 10: 3540112057 ISBN 13: 9783540112051
Verlag: Springer, 2008
Softcover

Suchergebnisse f�r Verifying Concurrent Processes Using Temporal Logic...

Beispielbild f�r diese ISBN

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

Brent T. Hailpern

Verlag: Springer-Verlag, 1982

ISBN 10: 0387112057 ISBN 13: 9780387112053

Gebraucht Taschenbuch

Anbieter: NEPO UG, R�sselsheim am Main, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Taschenbuch. Zustand: Gut. 208 Seiten Sofort verf�gbar Versand sp�testens am n�chsten Arbeitstag Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sprache: Englisch Gewicht in Gramm: 550. Bestandsnummer des Verk�ufers 183042

Verk�ufer kontaktieren