Search alternatives:
"formal method" » "formal methods"
Cover Image
Read Now

1
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... in Urban Districts -- II Theory and Formal Methods -- Formal Ensemble Engineering -- Structured Interacting...”
Cover Image
Read Now

2
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... -- A formal method for the systematic reuse of specification components -- Deductive program...”
Cover Image
Read Now

3
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... software of an electricity meter: An experience in using formal methods in an industrial project...”
Cover Image
Read Now

4
Published 2004
Springer Berlin Heidelberg
“... theme of increasing the practical impact of formal methods. During the last decade object orientation...”