Pnueli (156 results)
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 23.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.Zubal-Books, Since 1961
Contact seller5-star sellerCondition: Used - Very good
US$ 26.25
US$ 4.50 shippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. 482 pp., hardcover, slight tear to top of spine, minor marginalia, else very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's co…untry.
- Hardcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 35.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 20.71
US$ 16.18 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Zoom Books Company, Lynden, WA, U.S.A.Zoom Books Company
Contact seller5-star sellerCondition: Used - Very good
US$ 37.59
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: very_good. Book is in very good condition and may include minimal underlining highlighting. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service.
- Hardcover
Seller: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contact seller5-star sellerCondition: Used - Good
US$ 34.49
US$ 3.75 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Good. 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.
- Hardcover
Seller: Better World Books: West, Reno, NV, U.S.A.Better World Books: West
Contact seller5-star sellerCondition: Used - Good
US$ 38.34
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Hardcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Good
US$ 38.34
Free ShippingShips within U.S.A.Quantity: 2 available
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contact seller5-star sellerCondition: Used - Very good
US$ 38.42
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Sh…ips USPS Media Mail.
- Hardcover
Seller: Books From California, Simi Valley, CA, U.S.A.Books From California
Contact seller4-star sellerCondition: Used - Very good
US$ 33.46
US$ 4.99 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: Very Good. Cover and edges may have some wear.
- Hardcover
Seller: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contact seller5-star sellerCondition: Used - Good
US$ 34.95
US$ 3.75 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: Good. 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.
- Softcover
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.ThriftBooks-Dallas
Contact seller5-star sellerCondition: Used - Good
US$ 39.20
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
- Hardcover
Seller: Moe's Books, Berkeley, CA, U.S.A.Moe's Books
Contact seller4-star sellerCondition: Used - Very good
US$ 35.00
US$ 6.50 shippingShips within U.S.A.Quantity: 1 available
Hard cover. Condition: Very good. No jacket. Previous owner's name on inside front cover, some very occasional, light highlighting on no more than five pages, otherwise clean and unmarked. Spine lightly sunned.
- Softcover
Seller: Textbooks_Source, Columbia, MO, U.S.A.Textbooks_Source
Contact seller5-star sellerCondition: Used - Good
US$ 40.71
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
paperback. Condition: Good. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
- Softcover
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contact seller5-star sellerCondition: Used - Good
US$ 50.83
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipp…ed with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 36.46
US$ 16.18 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Good
US$ 54.29
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Good. 2003rd Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Seller: Books From California, Simi Valley, CA, U.S.A.Books From California
Contact seller4-star sellerCondition: Used - Good
US$ 50.67
US$ 4.99 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Good. Ex-library copy with stamps and stickers. The page edge is tanned. The copy shows minor external wear, but is in otherwise clean condition.
- Hardcover
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United KingdomPhatpocket Limited
Contact seller5-star sellerCondition: Used - Good
US$ 44.93
US$ 14.37 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Perspectives of Systems Informatics : 7th International Andrei Ershov Memorial Conference, Psi 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
Pnueli, Amir (EDT); Virbitskaite, Irina (EDT); Voronkov, Andrei (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 65.32
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 67.97
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 67.97
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 67.97
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Good
US$ 68.36
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Seller: Books From California, Simi Valley, CA, U.S.A.Books From California
Contact seller4-star sellerCondition: Used - Good
US$ 66.24
US$ 4.99 shippingShips within U.S.A.Quantity: 1 available
paperback. Condition: Good.
- Softcover
Seller: Books From California, Simi Valley, CA, U.S.A.Books From California
Contact seller4-star sellerCondition: Used - Very good
US$ 66.24
US$ 4.99 shippingShips within U.S.A.Quantity: 3 available
paperback. Condition: Very Good.
- Softcover
Seller: Kloof Booksellers & Scientia Verlag, Amsterdam, NetherlandsKloof Booksellers & Scientia Verlag
Contact seller4-star sellerCondition: Used - Very good
US$ 37.99
US$ 34.63 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Condition: very good. Berlin : Springer, 1989. Paperback. vi, 448 pp. Library stamp. (Lecture notes in computer science ; 398). - The "Temporal Logic in Specification" conference, held in Altrincham, UK, from April 8-10, 1987, focused on the use of temporal logic in the specification of systems. The conference brought together r…esearchers working on formal methods, software engineering, and system design. Key discussions revolved around how temporal logic can be applied to describe dynamic aspects of systems, such as time constraints, state transitions, and behavioral requirements. Contributions explored both theoretical advancements and practical applications, from automated verification to system modeling. This work significantly influenced the development of formal specification techniques, particularly in the design of safety-critical systems and distributed systems, providing tools to model complex, time-dependent behaviors. Condition : very good copy. ISBN 9783540518037. Keywords : COMPUTER SCIENCE, temporal logic automated verification formal methods.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - Good
US$ 79.35
US$ 2.64 shippingShips within U.S.A.Quantity: 1 available
Condition: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 66.05
US$ 20.93 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
US$ 83.93
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
