Search results
Practical Formal Methods in Software Engineering (Paperback)
Products
47 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
Fme 2001: Formal Methods for Increasing Software Productivity : 10th International Symposium of Formal Methods Europe, Berlin, Germany, March 12- 16,
$35.64
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
Springer
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
$62.99
Compare Now
Chapman Hall
Formal Methods in Computer Science
$161.96
Compare Now
Pearson
Engineering Software Products An Introduction to Modern Software Engin
$54.93
Compare Now
Authorhouse
Software Engineering Methodology (Paperback)
$72.93
Compare Now
Pre-Owned Concise Guide to Formal Methods: Theory Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
$65.31
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
Springer
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
$49.99
Compare Now
Springer
Fundamental Approaches to Software Engineering: 16th International Conference Fase 2013 Held as Part of the European J (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
Elsevier Science
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems : An International Survey
$82.07
Compare Now
Springer
Innovations and Advanced Techniques in Systems Computing Sciences and Software Engineering (Hardcover)
$133.63
Compare Now
Mcgrawhill College
Practical Business Math Procedures
$4.25
Compare Now
Wileyiste
Industrial Use of Formal Methods: Formal Verification
$144.00
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
Designing Maintainable Software
$49.99
Compare Now
Springer
Integrated Formal Methods: 6th International Conference Ifm 2007 Oxford Uk July 2-5 2007 Proceedings (Paperback)
$90.92
Compare Now
Wileyieee Computer Society Pr
How to Engineer Software A Model-Based Approach
$156.00
Compare Now
Springer
Engineering Secure Software and Systems (Paperback)
$54.99
Compare Now
Pearson Manual
PACKAGE: JAVA SOFTWARE SOLUTIONS
$84.16
Compare Now
Pearson Manual
PACKAGE: JAVA SOFTWARE SOLUTIONS
$78.12
Compare Now
Mcgraw Hill
Practical Business Math Procedures
$60.24
Compare Now
Springer
Industrial Deployment of System Engineering Methods
$49.99
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
Mcgraw Hill
Software Engineering: A Practitioner's Approach
$138.76
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
Birkhauser
Methods of Applied Mathematics With a Software Overview
$98.90
Compare Now
Mcgraw Hill
Methods Engineering
$4.99
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
Pre-Owned Software Engineering with Abstractions (Paperback) 9780201080049
$16.50
Compare Now