MPG.eBooks - Search Results - "formal methods"

1

by Ehrig, Hartmut
Published 1985

Springer

2

Published 1985

Springer Berlin Heidelberg

Table of Contents: “...On the relevance of formal methods to software development -- Combining algebraic and predicative...”

3

Published 1996

Springer Berlin Heidelberg

Table of Contents: “... software of an electricity meter: An experience in using formal methods in an industrial project...”

4

Published 1995

Springer Berlin Heidelberg

Table of Contents: “... and training in the industrial application of formal methods -- Information algebras -- Verification of logic...”