Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)

Apt, Krzysztof R.; Olderog, Ernst-Rudiger

ISBN 10: 0387975322 ISBN 13: 9780387975320

Verlag: Springer-Verlag New York, Incorp, 1991

Sprache: Englisch

Zustand: Gebraucht - Befriedigend Hardcover

F�r sp�ter vormerken

Verkauft von HPB-Red, Dallas, TX, USA

AbeBooks-Verk�ufer seit 11. M�rz 2019

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Hardcover

Zustand: Gebraucht - Befriedigend

Preis: EUR 33,20 W�hrung umrechnen

EUR 98,46 f�r den Versand von USA nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!

Bestandsnummer des Verk�ufers S_409206603

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Verification of Sequential and Concurrent Programs (Texts & Monographs in Computer Science)
Verlag: Springer-Verlag New York, Incorp
Erscheinungsjahr: 1991
Sprache: Englisch
ISBN-10: 0387975322
ISBN-13: 9780387975320
Einband: hardcover
Zustand: Good

�ber diesen Titel

Inhaltsangabe

Book by Apt Krzysztof R Olderog ErnstRudiger

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

Anbieterinformationen

Half Price Books has been connecting readers to great books since 1972. Customer service is our top priority.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Half Price Books, Records, Magazines, Inc.
5803 E. Northwest Hwy., Dallas, TX, 75231, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Versandbedingungen

Zahlungsarten

Zu Kaufgesuchen hinzuf�gen