K rajamani (34 Ergebnisse)

Zustand: New. pp. 190.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Zustand: New. In English.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Zustand: New. pp. 148 80 Illus. (Col.).

Zustand: New. In English.

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.

Paperback. Zustand: Brand New. 114 pages. Tamil language. 5.50x0.27x8.50 inches. In Stock.

Zustand: New. pp. 180 Map.

Paperback. Zustand: Brand New. 256 pages. 6.00x0.58x9.00 inches. In Stock.

Zustand: New. In English.

Paperback. Zustand: Brand New. 80 pages. 8.66x5.91x0.19 inches. In Stock.

Zustand: New. In English.

Paperback. Zustand: Brand New. 1st edition. 241 pages. 9.50x6.00x0.75 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 227 pages. 9.00x6.10x0.50 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop.The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely appliedsystems.…

Zustand: New.

Zustand: New. pp. x + 215.

Zustand: New. Fast track conference proceedingUnique visibilityState of the art researchInvited Talk.- Towards Scalable Modular Checking of User-Defined Properties.- Verification Techniques.- Tressa: Claiming the Future.- Automated Verification of a Small Hypervisor.

Zustand: New. In English.

Zustand: New. In English.

Kartoniert / Broschiert. Zustand: New.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the International Conference on Computer Aided Veri cation (CAV), held in Edinburgh, Scotland, July 6-10, 2005. CAV 2005 was the seventeenth in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal an- ysis methods for software and hardware systems. The conference covered the spectrum from theoretical results to concrete applications, with an emphasis on practical veri cation tools and the algorithms and techniques that are needed for their implementation. We received 123 submissions for regular papers and 32 submissions for tool papers.Ofthesesubmissions,theProgramCommitteeselected32regularpapers and 16 tool papers, which formed the technical program of the conference. The conference had three invited talks, by Bob Bentley (Intel), Bud Mishra (NYU), and George C. Necula (UC Berkeley). The conference was preceded by a tutorial day, with two tutorials: - Automated Abstraction Re nement, by Thomas Ball (Microsoft) and Ken McMillan (Cadence); and - Theory and Practice of Decision Procedures for Combinations of (First- Order) Theories, by Clark Barrett (NYU) and Cesare Tinelli (U Iowa). CAV 2005 had six a liated workshops: - BMC 2005: 3rd Int. Workshop on Bounded Model Checking; - FATES 2005: 5th Workshop on Formal Approaches to Testing Software; - GDV 2005: 2nd Workshop on Games in Design and Veri cation; - PDPAR 2005: 3rd Workshop on Pragmatics of Decision Procedures in - tomated Reasoning; - RV 2005: 5th Workshop on Runtime Veri cation; and - SoftMC 2005: 3rd Workshop on Software Model Checking.…

Taschenbuch. Zustand: Neu. Corrosion Processes | Sensing, Monitoring, Data Analytics, Prevention/Protection, Diagnosis/Prognosis and Maintenance Strategies | George Vachtsevanos (u. a.) | Taschenbuch | Structural Integrity | vii | Englisch | 2021 | Springer | EAN 9783030328337 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: New. In English.

Paperback. Zustand: Brand New. 348 pages. 9.25x6.10x0.91 inches. In Stock.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 348 | Sprache: Englisch | Produktart: Bücher | This book discusses relevant topics in field of corrosion, from sensing strategies to modeling of control processes, corrosion prevention, detection of corrosion initiation, prediction of corrosion growth and evolution, to maintenance practices and return on investment.Written by leading international experts, it combines mathematical and scientific rigor with multiple case studies, examples, colorful images, case studies and numerous references exploring the essentials of corrosion in depth. It appeals to a wide readership, including corrosion engineers, managers, students and industrial and government staff, and can serve as a reference text for courses in materials, mechanical and aerospace engineering, as well as anyone working on corrosion processes.…