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

Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Formal Methods and Software Engineering: 15th International Conference on Formal Engineeringmethods ICFEM 2013 Queenst (Paperback)

Object Oriented Programming Language A Complete Guide - 2020 Edition

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering Held at Ictac 2013 Shanghai China August 26-30 2013 Advanced Lectures (Pape

Object-Oriented Analysis and Design Understanding System Development w

Fundamental Approaches to Software Engineering: 11th International Conference Fase 2008 Held as Part of the Joint Euro (Paperback)

The Correctness-by-Construction Approach to Programming

Formal Methods and Software Engineering - (Lecture Notes in Computer Science) by Jin Song Dong & Jim Woodcock (Paperback)

The Springer International Engineering a Object-Oriented Behavioral Specifications Book 371 (Paperback)

Classical and Object-Oriented Software Engineering With Uml and Java

Fme '94 : Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24 -28, 1994 : Proc

Object-Oriented Software Construction