Search results
Practical Formal Methods in Software Engineering (Paperback)
Products
33 products
Springer
Software Engineering and Formal Methods: 10th International Conference Sefm 2012 Thessaloniki Greece October 1-5 20 (Paperback)
$54.99
Compare Now
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
$64.99
Compare Now
Springer International Publishing
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods ICFEM 2018 Gold C (Paperback)
$54.99
Compare Now
Springer
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Paperback)
$56.14
Compare Now
Chapman Hall
Formal Methods in Computer Science
$161.96
Compare Now
Authorhouse
Software Engineering Methodology (Paperback)
$72.93
Compare Now
Springer
Lecture Notes in Computer Science Formal Methods in Programming and Their Applications: International Conference Academgorodok Novosibirsk Russia June Book 735 (Paperback)
$54.99
Compare Now
Lecture Notes in Computer Science Formal Methods Teaching: 5th International Workshop Fmtea 2023 Lübeck Germany March 6 2023 Proceedings Book 13962 (Paperback)
$59.99
Compare Now
Simple Statistical Methods for Software Engineering: Data and Patterns (Paperback)
$66.39
Compare Now
Springer
Software-Engineering: Methodische Projektabwicklung (Paperback)
$59.99
Compare Now
Springer
Innovations and Advanced Techniques in Systems Computing Sciences and Software Engineering (Hardcover)
$133.63
Compare Now
Wileyiste
Industrial Use of Formal Methods Formal Verification
$191.75
Compare Now
Springer
Innovations and Advanced Techniques in Systems Computing Sciences and Software Engineering (Paperback)
$200.43
Compare Now
Cambridge Univ Pr
Mathematical Methods in Engineering
$109.20
Compare Now
Springer
FM 2009: Formal Methods (Paperback)
$68.84
Compare Now
Springer
Software Engineering and Formal Methods: 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings
$71.99
Compare Now
Auerbach Pub
Effective Methods for Software Engineering
$59.97
Compare Now
Springer
Engineering of Software: The Continuing Contributions of Leon J. Osterweil (Paperback)
$145.50
Compare Now
Springer
Scalable Techniques for Formal Verification
$89.99
Compare Now
Springer
Designing Maintainable Software
$49.99
Compare Now
Pearson Manual
PACKAGE: JAVA SOFTWARE SOLUTIONS
$84.16
Compare Now
Springer
Integrated Formal Methods: 6th International Conference Ifm 2007 Oxford Uk July 2-5 2007 Proceedings (Paperback)
$90.92
Compare Now
Springer
Engineering Secure Software and Systems (Paperback)
$54.99
Compare Now
Pearson Manual
PACKAGE: JAVA SOFTWARE SOLUTIONS
$78.12
Compare Now
Springer
Pre-Owned Lecture Notes in Computer Science: Fundamental Approaches to Software Engineering: 4th International Conference Fase 2001 Held as Part of the Joint European Conferences on Theory and Practice of Soft
$63.85
Compare Now
Cambridge University Press
Mathematical Methods in Engineering (Hardcover)
$87.54
Compare Now
Birkhauser
Methods of Applied Mathematics With a Software Overview
$32.04
Compare Now
Modeling and Verification of Real-Time Systems: Formalisms and Software Tools (Hardcover)
$228.31
Compare Now
Springer
Pre-Owned Lecture Notes in Computer Science: Reflection and Software Engineering (Paperback)
$64.76
Compare Now
Global Data Science Institute
The Complete Software Engineering Lifecycle: Methods, Patterns, and Implementation
$31.49
Compare Now
Curran Associates
6th Acm Workshop on Formal Methods in Security Engineering (Fmse 2008)
$59.94
Compare Now
Crc Pr I
Mathematical Methods in Engineering and Applied Sciences
$101.97
Compare Now
Crc Pr I
Mathematical Methods in Engineering and Applied Sciences
$48.18
Compare Now