Description:
Hardback. Like New.
Stock Photo: Cover May Be Different
Temporal Verification of Reactive Systems: Safety Hardcover - 1995
by Zohar Manna; Amir Pnueli
Details
- Title Temporal Verification of Reactive Systems: Safety
- Author Zohar Manna; Amir Pnueli
- Binding Hardcover
- Edition 1st
- Pages 512
- Volumes 1
- Language ENG
- Publisher Springer
- Date 1995-08-04
- Illustrated Yes
- Features Bibliography, Illustrated, Index
- ISBN 9780387944593 / 0387944591
- Weight 2.14 lbs (0.97 kg)
- Dimensions 9.61 x 6.79 x 1.19 in (24.41 x 17.25 x 3.02 cm)
- Library of Congress subjects Parallel processing (Electronic computers), Computer software - Verification
- Library of Congress Catalog Number 95005442
- Dewey Decimal Code 005.131
More Copies for Sale
Temporal Verification of Reactive Systems: Safety
by Pnueli, Amir
- Used
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780387944593 / 0387944591
- Quantity Available
- 1
- Seller
-
GORING BY SEA, West Sussex, United Kingdom
- Item Price
-
$27.90$11.11 shipping to USA
Show Details
Item Price
$27.90
$11.11
shipping to USA
Stock Photo: Cover May Be Different
Temporal Verification of Reactive Systems - Safety
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9780387944593 / 0387944591
- Quantity Available
- 1
- Seller
-
New Delhi, India
- Item Price
-
$77.69$5.00 shipping to USA
Show Details
Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Item Price
$77.69
$5.00
shipping to USA
Stock Photo: Cover May Be Different
TEMPORAL VERIFICATION OF REACTIVE SYSTEMS - SAFETY
by PNUELI, AMIR,
- New
- Hardcover
- first
- Condition
- New
- Edition
- 1st
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780387944593 / 0387944591
- Quantity Available
- 5
- Seller
-
New Delhi, India
- Item Price
-
$80.00$10.00 shipping to USA
Show Details
Description:
Springer, 1995. 1st. Hardcover. New/New.
Item Price
$80.00
$10.00
shipping to USA
Temporal Verification of Reactive Systems : Safety
by Zohar Manna
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780387944593 / 0387944591
- Quantity Available
- 594
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
$131.89$10.36 shipping to USA
Show Details
Description:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Temporal Verification of Reactive Systems : Safety.
Item Price
$131.89
$10.36
shipping to USA
Stock Photo: Cover May Be Different
Temporal Verification of Reactive Systems: Safety
by Manna, Zohar; Pnueli, Amir
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780387944593 / 0387944591
- Quantity Available
- 1
- Seller
-
San Diego, California, United States
- Item Price
-
$109.92$5.45 shipping to USA
Show Details
Description:
Springer, 1995-08-04. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
$109.92
$5.45
shipping to USA
Stock Photo: Cover May Be Different
Temporal Verification of Reactive Systems
by Amir Pnueli Zohar Manna
- Used
- Hardcover
- Condition
- Used
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780387944593 / 0387944591
- Quantity Available
- 1
- Seller
-
Woodside, New York, United States
- Item Price
-
$149.44$3.99 shipping to USA
Show Details
Description:
Springer , pp. 536 . Hardback. Used.
Item Price
$149.44
$3.99
shipping to USA