Pnueli (158 results)

Condition: good. The book is in good condition with all pages and cover intact, including the dust jacket if originally issued. The spine may show light wear. Pages may contain some notes or highlighting, and there might be a "From the library of" label. Boxed set packaging, shrink wrap, or included media like CDs may be missing.…

Paperback. Condition: New.

Condition: Very Good. *Price HAS BEEN REDUCED by 10% until Monday, Nov. 9 (weekend SALE item)* 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 country.…

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.

Condition: New.

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. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

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! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

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.

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. Condition: Very Good. Cover and edges may have some wear.

Soft cover. Condition: New. 1st Edition. An intermediate-level engineering textbook. Unlike traditional classical fluid mechanics texts that start with ideal (frictionless) flow and introduce viscosity later, the authors begin directly with real, viscous fluids and the Navier-Stokes equations. Ideal fluid models are introduced later in the text as specific simplified approximations. Emphasizes exact physical definitions, tensor notation, coordinate transformations, and rigorous logical derivations without sacrificing physical clarity. Designed for undergraduate students in mechanical, chemical, aerospace, or civil engineering who have completed foundational coursework in calculus, physics, and classical thermodynamics.…

Condition: New.

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.…

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.

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.

Condition: New. pp. 496.

Condition: New.

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.

Condition: good. Fast Free Shipping â" Good condition. It may show normal signs of use, such as light writing, highlighting, or library markings, but all pages are intact and the book is fully readable. A solid, complete copy that's ready to enjoy.

paperback. Condition: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority.

paperback. Condition: Very Good. Clean Copy, May have light wear on cover/edges, otherwise very good! We've been in business for over 25 years serving thousands of customers worldwide. Your satisfaction is extremely important to us.Established Seller, We Ship Daily! We pack your order with care so that it arrives in great condition.…

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.…

paperback. Condition: Good.

paperback. Condition: Very Good.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: As New. Unread book in perfect condition.

Condition: New.

Taschenbuch. Condition: Neu. Neuware - This book provides an in-depth analysis of two approaches to interprocedural data flow analysis in computer science. The authors highlight the advantages and limitations of each approach and provide a comprehensive evaluation of their performance. The book is an essential read for researchers and practitioners interested in interprocedural analysis and program optimization.This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it.This work is in the 'public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.…