MPG.eBooks - Search Results - "(model or module)"

Search alternatives:
module » modules

Cover Image

1

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Vol...

Published 1985

Springer Berlin Heidelberg

Table of Contents: “... and errors: A telephonic example -- Modelling concurrent modules -- Synthesis of parallel programs invariants...”