Learn IT - Books tags verification

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference

Springer, 2011

This volume contains the proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011). TACAS 2011 took place in Saarbr¨ucken, Germany, March 28–31, 2011, as part of the 14th European Joint Conferences on Theory and Practice of Software (ETAPS 2011), whose...

Debugging Applications

Microsoft Press, 2000

Two issues make debugging in the Microsoft Windows environment difficult and time consuming. The first issue is that debugging has always been a self-taught skill—you've basically been on your own to figure it out. Even if you have a computer science degree, I'm willing to bet that you never took a single college class dedicated to...

Cisco CCNA Exam #640-607 Certification Guide (3rd Edition)

Cisco Press, 2002

The official study guide for CCNA exam #640-607 with new exam format practice questions

Coverage of all CCNA exam topics enables you to discover and fill any gaps in your knowledge before the exam date. You'll learn about:

* Internetworking functions of each layer of the OSI reference model and how they are performed in network...

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Springer, 2010

Software defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to show the absence of certain kinds of errors or that a program satisfies its specification. Such high levels of software quality can be achieved by software verification, that is, by proving the...

Introduction to Software Testing

Cambridge University Press, 2008

Extensively class tested, this text takes an innovative approach to explaining the process of software testing: it defines testing as the process of applying a few well-defined, general-purpose test criteria to a structure or model of the software. The structure of the text directly reflects the pedagogical approach and incorporates the latest...

System-on-a-Chip Verification - Methodology and Techniques

Springer, 2000

System-On-a-Chip Verification: Methodology and Techniques is the first book to cover verification strategies and methodologies for SOC verification from system level verification to the design sign- off. The topics covered include Introduction to the SOC design and verification aspects, System level verification in brief, Block level...

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Springer, 2010

This widely anticipated third edition provides a systematic exploration of one of the most common approaches to program verification, known as the assertional approach. This approach is applied to deterministic and nondeterministic sequential programs of varying complexity, together with both parallel and distributed concurrent programs. The...

Concurrency: State Models and Java Programs

John Wiley & Sons, 2006

‘I love this book! It is beautifully written and the combined FSP/Java approach to model-based development is leading-edge. The supporting materials, including the LTSA software and the lecture slides, are superb.’ (Scott Smolka, SUNY at Stony Brook)

This book provides a systematic and practical approach to...

Design Verification with e (Prentice Hall Modern Semiconductor Design Series' Sub Series: PH Signal Integrity Library)

Prentice Hall, 2003

Written for both experienced and new users, Design Verification with e gives you a broad coverage of e. It stresses the practical verification perspective of e rather than emphasizing only its language aspects.

This book—

Formal Techniques for Networked and Distributed Systems (IFIP International Federation for Information Processing)

Springer, 2001

This book presents the latest worldwide results in theory and practice of formal techniques for networked and distributed systems. The theme of the book is addressed by specialized papers in the following areas:

Formal Methods in Software Development,

Process Algebra,

Timed Automata,

...

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes in Computer Science)

Springer, 2008

This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008.

The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions. Among the topics covered are all...

Embedded DSP Processor Design, Volume 2: Application Specific Instruction Set Processors (Systems on Silicon)

Morgan Kaufmann, 2008

This book's "how-to" approach will help engineers design powerful, flexible products, while minimizing cost and power-consumption!

This book provides design methods for Digital Signal Processors and Application Specific Instruction set Processors, based on the author's extensive, industrial design experience....

Result Page: 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7