Software Engineering; Mathematical Logic and Forma

LIBRARY

Formal Methods: State of the Art and New Directions

2010 · ENGLISH · PDF

View details →

LIBRARY

Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

2016 · ENGLISH · PDF

View details →

LIBRARY

The Design of Requirements Modelling Languages: How to Make Formalisms for Problem Solving in Requirements Engineering

2015 · ENGLISH · PDF

View details →

LIBRARY

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

2015 · ENGLISH · PDF

View details →

LIBRARY

Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

2015 · ENGLISH · PDF

View details →

LIBRARY

From Requirements to Java in a Snap: Model-Driven Requirements Engineering in Practice

2015 · ENGLISH · PDF

View details →

LIBRARY

Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

2014 · ENGLISH · PDF

View details →

LIBRARY

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

2014 · ENGLISH · PDF

View details →

LIBRARY

Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

1991 · ENGLISH · PDF

View details →

LIBRARY

Interaktives Entwerfen großer Programmsysteme: Konzepte und Werkzeuge

1988 · GERMAN · DJVU

View details →

LIBRARY

First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992

1993 · ENGLISH · PDF

View details →

LIBRARY

Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

2013 · ENGLISH · PDF

View details →

LIBRARY

Constructing Correct Software

2005 · ENGLISH · PDF

View details →

LIBRARY

Constructing Correct Software: The Basics

1998 · ENGLISH · PDF

View details →

LIBRARY

The B Language and Method: A Guide to Practical Formal Development

1996 · ENGLISH · PDF

View details →

LIBRARY

Formal Object-Oriented Development

1995 · ENGLISH · PDF

View details →

LIBRARY

Semantics of Specification Languages (SoSL): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 – 27 October 1993

1994 · ENGLISH · PDF

View details →

LIBRARY

Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User Meeting, London 14–15 December 1992

1993 · ENGLISH · PDF

View details →

LIBRARY

Formal Methods in Systems Engineering

1993 · ENGLISH · PDF

View details →

LIBRARY

Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15–16 May 1992

1993 · ENGLISH · PDF

View details →

LIBRARY

Z User Workshop, York 1991: Proceedings of the Sixth Annual Z User Meeting, York 16–17 December 1991

1992 · ENGLISH · PDF

View details →

LIBRARY

Object Orientation in Z

1992 · ENGLISH · PDF

View details →

LIBRARY

Z User Workshop: Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989

1990 · ENGLISH · PDF

View details →

LIBRARY

Interaktives Entwerfen großer Programmsysteme: Konzepte und Werkzeuge

1988 · GERMAN · PDF

View details →