Pnueli (66 Ergebnisse)

Paperback. Zustand: New.

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

Zustand: New.

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

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

Zustand: New. In English.

Zustand: New.

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

Zustand: New. In English.

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

Zustand: 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. Zustand: Good.

paperback. Zustand: Very Good.

Zustand: New.

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

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

Zustand: New. In English.

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

Zustand: New.

Buch. Zustand: 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.…

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Softcover Sehr gut erhalten.

Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

hardcover. Zustand: New. In shrink wrap. Looks like an interesting title.

Paperback. Zustand: New.

Zustand: New. Paperback edition of well written, highly recommended undergraduate fluid mechanics text. Num Pages: 520 pages, 305 b/w illus. BIC Classification: TGMF. Category: (U) Tertiary Education (US: College). Dimension: 228 x 153 x 32. Weight in Grams: 76. . 1997. Illustrated. paperback. . . . . …

Kartoniert / Broschiert. Zustand: New.