Formal Methods for Software Engineering: Languages, Methods, Application Domains

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Engineering Software Products An Introduction to Modern Software Engineering

Software Engineering and Formal Methods: 10th International Conference Sefm 2012 Thessaloniki Greece October 1-5 20 (Paperback)

Practical Formal Methods in Software Engineering (Paperback)

Pre-Owned Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods ICFEM 2014 Luxembourg Luxembourg November 3-5 2014 Proceedings (Paperback)

Pre-Owned Lecture Notes in Computer Science: Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer Communication and Software Systems: Software Arch

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers

Pre-Owned Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods ICFEM 2019 Shenzhen China November 5-9 2019 Proceedings (Paperback)

Fundamental Approaches to Software Engineering: 20th International Conference Fase 2017 Held as Part of the European J (Paperback)

Systems and Software Development, Modeling, and Analysis

Information Systems Engineering: A Formal Approach

Modern Software Engineering Methodologies for Mobile and Cloud Environments

Software Specification and Design : An Engineering Approach

Software Engineering and Formal Methods: Sefm 2014 Collocated Workshops: Hofm Safome Opencert Mokmasd Ws-Fmds Greno (Paperback)

Lecture Notes in Computer Science Formal Methods Teaching: 5th International Workshop Fmtea 2023 Lübeck Germany March 6 2023 Proceedings Book 13962 (Paperback)

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991.

Synthese Library Formal Methods in the Methodology of Empirical Sciences: Proceedings of the Conference for Formal Methods in the Methodo Book 103 (Hardcover)

Model Based Systems Engineering Fundamentals and M

Innovations and Advanced Techniques in Systems Computing Sciences and Software Engineering (Hardcover)

Fundamentals of Software Engineering

Essentials of Software Engineering (Paperback)

Software Engineering: The Current Practice

Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Software-Engineering: Methodische Projektabwicklung (Paperback)

6th Acm Workshop on Formal Methods in Security Engineering (Fmse 2008)

Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings

Software Engineering Research and Practice

Engineering Secure Software and Systems (Paperback)

Foundations of Software Engineering

Pre-Owned Formal Aspects of Component Software: 8th International Symposium Facs 2011 Oslo Norway September 14-16 2011 Revised Selected Papers (Paperback)

Software Engineering Theory and Practice

Modelling Systems: Practical Tools and Techniques in Software Development

Software Engineering Mathematics (Sei Series in Software Engineering)

Classical and Object-Oriented Software Engineering With Uml and Java

Foundations of Software Engineering