Program Construction: Calculating Implementations from Specifications [first edition]

Fme 2001: Formal Methods for Increasing Software Productivity : 10th International Symposium of Formal Methods Europe, Berlin, Germany, March 12- 16,

The Algorithm Design Manual

Formal Approaches to Computing and Infor Software Specification Methods: An Overview Using a Case Study (Paperback)

Pre-Owned Software Engineering and Formal Methods: 11th International Conference Sefm 2013 Madrid Spain September 25-27 2013 Proceedings (Paperback)

Pre-Owned Formal Methods and Software Engineering: 15th International Conference on Formal Engineeringmethods ICFEM 2013 Queenstown New Zealand October 29 - November 1 2013 Proceedings (Paperback)

Lecture Notes in Computer Science Formal Methods in Programming and Their Applications: International Conference Academgorodok Novosibirsk Russia June Book 735 (Paperback)

Lecture Notes in Computer Science Software Engineering and Formal Methods. Sefm 2024 Collocated Workshops: Reacts 2024 and Cifma 2024 Aveiro Portugal N Book 15551 (Paperback)

Lecture Notes in Computer Science Mathematical Methods of Specification and Synthesis of Software Systems 85: Proceedings of the International Spring Sch Book 215 (Paperback)

Engineering Software Products An Introduction to Modern Software Engin

Formal Engineering for Industrial Software Development: Using the Sofl Method (Hardcover)

Software Engineering: Specification, Implementation, Verification

Lecture Notes in Computer Science Theory of Program Structures: Schemes Semantics Verification Book 36 (Paperback)

Texts in Computing: Implementing Programming Languages. an Introduction to Compilers and Interpreters (Paperback)

Pre-Owned Formal Engineering for Industrial Software Development: Using the Sofl Method (Hardcover)

Pre-Owned Lecture Notes in Computer Science: Mathematics of Program Construction: 6th International Conference MPC 2002 Dagstuhl Castle Germany July 8-10 2002. Proceedings (Paperback)

Fundamental Approaches to Software Engineering: 23rd International Conference Fase 2020 Held as Part of the European J (Paperback)

Texts in Theoretical Computer Science. a Software Engineering 2: Specification of Systems and Languages (Hardcover)

Formal Methods in Computer Science

Lecture Notes in Computer Science Mathematics of Program Construction: Third International Conference MPC 95 Kloster Irsee Germany July 17 - 21 1995 Book 947 (Paperback)

Engineering of Software: The Continuing Contributions of Leon J. Osterweil (Paperback)

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

Lecture Notes in Computer Science Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma Cosim-Cps Opencert Asyde Virtual Even Book 13230 (Paperback)

Object-oriented and Classical Software Engineering

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

Software Product Line Engineering: Foundations Principles and Techniques (Hardcover)

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

Theories of Programming Languages

Engineering Software Products An Introduction to Modern Software Engineering

Pre-Owned The Springer International Engineering and Computer Science: Rule-Based Programming (Hardcover)

Texts in Computer Science Specification of Software Systems (Hardcover)

Structured Object-Oriented Formal Language and Method: Third International Workshop Sofl+msvl 2013 Queenstown New Zea (Paperback)

Program Logics for Certified Compilers

Program Logics for Certified Compilers

Model Building in Mathematical Programming

Pre-Owned Programming in the 1990s: An Introduction to the Calculation of Programs (Paperback) 0387973826 9780387973821

Model-Driven Software Engineering in Practice - , Jordi Cabot - Online Manuals by eManualOnline

Lecture Notes in Computer Science Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software Fates 2 Book 2931 (Paperback)

Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

The Formal Semantics of Programming Languages An Introduction

Certified Programming with Dependent Types A Pragmatic Introduction to

Formal Verification of Object-Oriented Software - by Bernhard Beckert & Claude Marché (Paperback)

Undergraduate Topics in Computer Science Object-Oriented Analysis Design and Implementation: An Integrated Approach (Paperback)

Maximize Your Investment: 10 Key Strategies for Effective Packaged Software Implementations

Texts in Theoretical Computer Science. a Interactive Theorem Proving and Program Development: Coq art: The Calculus of Inductive Constructions (Paperback)

Modelling Systems: Practical Tools and Techniques in Software Development

Fundamentals of Software Engineering

A Simple Lambda-Calculus Model of Programming Languages (Classic Reprint) S. Kamal Abdali [New] [Softcover]

Writing Compilers and Interpreters: A Software Engineering Approach