Pnueli (166 risultati)

Paperback. Condizione: New.

Condizione: New.

Condizione: 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 country.…

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

Hardcover. Condizione: 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.

Condizione: 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.

Condizione: 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.

Condizione: New. In English.

Condizione: New.

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

hardcover. Condizione: Very Good. Cover and edges may have some wear.

Condizione: 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.

Hard cover. Condizione: 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. Condizione: 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).

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

Condizione: New. In English.

Paperback. Condizione: 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.

Condizione: New.

Condizione: New.

paperback. Condizione: Very Good. Clean Copy, May have light wear on cover/edges, otherwise very good! Established Seller, We Ship Daily.

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

Taschenbuch. Condizione: 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.…

paperback. Condizione: Good.

paperback. Condizione: Very Good.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

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

PF. Condizione: New.