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

Brent T. Hailpern

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

Softcover

ISBN 10: 0387112057 ISBN 13: 9780387112053

Publisher: Springer-Verlag, 1982

View all copies of this ISBN edition

2 Used

From US$ 180.77

0 New

Edition details

Publisher: Springer-Verlag
Publication date: 1982
Language: English
ISBN 10: 0387112057
ISBN 13: 9780387112053
Binding: Paperback
Number of pages: 208

Buy Used

Condition: Very Good

208 Seiten Sofort verf�gbar / Versand...

View this item

US$ 180.77

Convert currency

US$ 28.08 shipping from Germany to U.S.A.

Destination, rates & speeds

Add to basket

Free 30-day returns

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10: 3540112057 ISBN 13: 9783540112051
Publisher: Springer, 1982
Softcover

Search results for Verifying Concurrent Processes Using Temporal Logic...

Stock Image

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

Brent T. Hailpern

Published by Springer-Verlag, 1982

ISBN 10: 0387112057 ISBN 13: 9780387112053

Used Taschenbuch

Seller: NEPO UG, R�sselsheim am Main, Germany

Seller rating 5 out of 5 stars

Taschenbuch. Condition: 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. Seller Inventory # 183042

Contact seller