The Leading eBooks Store Online
3,757,227 members ⚫ 1,221,934 ebooks
New to eBooks.com?Learn more
- Bestsellers - This Week
- Foreign Language Study
- Bestsellers - Last 6 months
- Graphic Books
- Health & Fitness
- Political Science
- Biography & Autobiography
- Psychology & Psychiatry
- Body Mind & Spirit
- House & Home
- Business & Economics
- Children's & Young Adult Fiction
- Juvenile Nonfiction
- Language Arts & Disciplines
- Crafts & Hobbies
- Science Fiction
- Current Events
- Literary Collections
- Literary Criticism
- Literary Fiction
- Social Science
- The Environment
- Sports & Recreation
- Family & Relationships
- Study Aids
- Folklore & Mythology
- Food and Wine
- Performing Arts
- True Crime
- Foreign Language Books
- Springer US 2006; US$ 124.18
Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking... more...
- Springer Berlin Heidelberg 2007; US$ 60.55
The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa University in Israel during October 23?26, 2006. The verification conference was a three-day, single-track conference followed by a one-day tutorial on PSL. This Haifa Verification Conference was established to bring together... more...
- Springer Berlin Heidelberg 2008; US$ 63.74
This volume contains the proceedings of the 3rd Haifa Veri?cation Conference (HVC 2007),whichtookplacein Haifa during October 2007.HVC isa forumfor researchers from both industry and academia to share and advance knowledge in the veri?cation of hardware and software systems. Academic research in veri?cation is generally divided into two paradigms ?... more...
- Springer Berlin Heidelberg 2007; US$ 63.74
The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Eight full workshop papers are presented along with three post-proceedings papers. Papers are organized into topical sections covering planning and model checking, heuristics for real-time model checking, verification of multi-agent... more...
- Artech House 2001; US$ 85.00
A concise and practical introduction to the basic principles of effective software verification and validation (V&V). This revised edition includes five new chapters and five new appendices focused on management techniques to make your company's software V&V efforts more cost-effective. more...
- Springer London 2009; US$ 60.15
This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included. more...
- Springer US 2007; US$ 105.08
This book is an in-depth technical reference providing methods and techniques for building and maintaining confidence in system software, helping to answer such critical questions as: 1) Are we building the right software? and 2) Are we building the software right? more...
- Springer Berlin Heidelberg 2007; US$ 81.80
The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007. This event was co-located with the Symposium on Principles of Programming Languages (POPL 2007). The 21 revised full papers presented together with three invited... more...
- Wiley 2005; US$ 128.00 US$ 110.93
A practical approach to enhancing quality in software models using UML Version 2.0 "Despite its increasing usage, many companies are not taking the best advantage of UML and, occasionally, individuals have experienced frustration in applying its standards. Perhaps this is because they have not yet read this book!" -From the Foreword by Prof. Brian... more...