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

Brent T. Hailpern

ISBN 10: 0387112057 ISBN 13: 9780387112053

Verlag: Springer-Verlag, 1982

Sprache: Englisch

Zustand: Good Softcover

F�r sp�ter vormerken

Verkauft von Mispah books, Redhill, SURRE, Vereinigtes K�nigreich

AbeBooks-Verk�ufer seit 15. April 2021

Verk�uferbewertung 4 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Softcover

Zustand: Good

Preis: EUR 293,88 W�hrung umrechnen

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

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

Good.

Bestandsnummer des Verk�ufers ERICA82903871120573

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)
Verlag: Springer-Verlag
Ver�ffentlichungsdatum: 1982
Sprache: Englisch
ISBN-10: 0387112057
ISBN-13: 9780387112053
Bindung: paperback
Zustand: Good
Buchtyp: book

�ber diesen Titel

Inhaltsangabe

.

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

Anbieterinformationen

We have collection of General books ,Science Books, Fiction & Academic Books. we ship from multiple location. Delhi, US and UK Return Address Mispah books flat4 , Centenary court, 30 Warwick Road Redhill , SURRE RH1 1FQ United Kingdom

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Mispah books
United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

We offer excellent customer service & easy return facility.

we ship from Multiple location,UK,India,US

Return address:

Mispah books
flat4 ,
Centenary court, 30 Warwick Road
Redhill , SURRE RH1 1FQ
United Kingdom

Versandbedingungen

Our rates depends on weight of the item & shipping destination

Zahlungsarten

Zu Kaufgesuchen hinzuf�gen