Formal methods

10 titles from eBooks.com

New Releases

Language

Ebook Format

DRM

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
Springer Netherlands (2006)
US$145.02

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

Software Specification Methods
Wiley (2010)
US$170.33

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

Computer Programming and Formal Systems

Computer Programming and Formal Systems

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

Springer Berlin Heidelberg (2007)
US$74.74

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

Springer Berlin Heidelberg (2007)
US$111.55

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

Springer Berlin Heidelberg (2012)
US$92.59

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

Springer New York (2013)
US$52.42

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

Formal Techniques for Networked and Distributed Systems: FORTE 2001

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

Who is Who in Thermal Analysis and Calorimetry
Springer International Publishing (2014)
US$111.55

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