Order Total (1 Item Items):
Shipping Destination:
Pnueli (139 results)
Author:
pnueli
Refine with Advanced Search
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (139)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (100)
- As New, Fine or Near Fine (17)
- Very Good or Good (17)
- Fair or Poor (No further results match this refinement)
- As Described (5)
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (55)
- Not Print on Demand (92)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
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!
-
Two Approaches to Interprocedural Data Flow Analysis
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 20.63
US$ 16.12 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
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!
-
The Temporal Logic of Reactive and Concurrent Systems: Specification
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
hardcover. Condition: Very Good. Cover and edges may have some wear.
-
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.
-
Fluid Mechanics
Language: English
Published by Cambridge University Press, 1992
ISBN 10: 052141704X ISBN 13: 9780521417044
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.
-
Fluid Mechanics
Language: English
Published by Cambridge University Press, 1997
ISBN 10: 0521587972 ISBN 13: 9780521587976
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.
-
Fluid Mechanics
Language: English
Published by Cambridge University Press, 1997
ISBN 10: 0521587972 ISBN 13: 9780521587976
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! Ships USPS Media Mail.
-
Fluid Mechanics
Language: English
Published by Cambridge University Press, 1997
ISBN 10: 0521587972 ISBN 13: 9780521587976
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).
-
Two Approaches to Interprocedural Data Flow Analysis
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 36.32
US$ 16.12 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Fluid Mechanics
Language: English
Published by Cambridge University Press, 1992
ISBN 10: 052141704X ISBN 13: 9780521417044
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
US$ 40.78
US$ 14.32 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: 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.
-
Condition: Gut. Auflage: 1987. 160 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 518 23,5 x 15,5 x 0,9 cm, Taschenbuch.
-
Fluid Mechanics
Language: English
Published by Cambridge University Press, 1997
ISBN 10: 0521587972 ISBN 13: 9780521587976
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.
-
Fluid Mechanics
Language: English
Published by Cambridge University Press, 1997
ISBN 10: 0521587972 ISBN 13: 9780521587976
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: Good.
-
Fluid Mechanics
Language: English
Published by Cambridge University Press, 1997
ISBN 10: 0521587972 ISBN 13: 9780521587976
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: Very Good.
-
Temporal logic in specification : proceedings, Altrincham, UK, April 8-10, 1987.
Seller: Kloof Booksellers & Scientia Verlag, Amsterdam, Netherlands
Seller rating 4 out of 5 stars
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 researchers 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.
-
The Temporal Logic of Reactive and Concurrent Systems: Specification
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.41
US$ 16.12 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers (Lecture Notes in Computer Science, 5947)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.41
US$ 16.12 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics (Lecture Notes in Computer Science, 288)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.41
US$ 16.12 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science, 398)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.41
US$ 16.12 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 65.79
US$ 20.85 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
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.
-
-
Perspectives of Systems Informatics : 7th International Andrei Ershov Memorial Conference, Psi 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.40
US$ 20.19 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: New. pp. 444.
-
Hardcover. Condition: New. 3rd ed. 2009, Corr. 3rd printing. Hardcover.
-
Condition: New. pp. 444.
-
Fluid Mechanics
Language: English
Published by Cambridge University Press, 1997
ISBN 10: 0521587972 ISBN 13: 9780521587976
Condition: As New. Unread book in perfect condition.
-
Fluid Mechanics
Language: English
Published by Cambridge University Press, 1997
ISBN 10: 0521587972 ISBN 13: 9780521587976
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 85.47
US$ 20.19 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: 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.
-
Fluid Mechanics
Language: English
Published by Cambridge University Press, 1997
ISBN 10: 0521587972 ISBN 13: 9780521587976
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 91.72
US$ 16.12 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
