Formal methods

10 titles from eBooks.com
Software Specification Methods: An Overview Using a Case Study
ISTE (2006)
US$112.00

This book introduces several key software specification methods. Each method is presented using the...

Modern Formal Methods and Applications
US$169.00

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods...

Software Specification Methods
Wiley (2010)
US$163.80

This title provides a clear overview of the main methods, and has a practical focus that allows the...

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

Formal Methods and Software Engineering

9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

US$89.99

This book constitutes the refereed proceedings of the 9th International Conference on Formal...

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Integrated Formal Methods

6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

US$129.00

This book constitutes the refereed proceedings of the 6th International Conference on Integrated...

Delta-Sigma A/D-Converters: Practical Design for Communication Systems

Delta-Sigma A/D-Converters

Practical Design for Communication Systems

US$109.00

This book offers a detailed description and lab analysis of three different A/D converter solutions...

Performance Evaluation Software: Moving Object Detection and Tracking in Videos

Performance Evaluation Software

Moving Object Detection and Tracking in Videos

US$69.99

Performance Evaluation Software: Moving Object Detection and Tracking in Videos introduces a...

Formal Techniques for Networked and Distributed Systems: FORTE 2001
Springer US (2006)
US$269.00

FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description...

Who is Who in Thermal Analysis and Calorimetry

This is an expanded and revised second edition,  presenting accurate and comprehensive information...