1
by Gotzhein, Reinhard
Published 1993
Vieweg+Teubner Verlag
Table of Contents: ... Formal methods in the system design process -- 1.1 A model for the system design process -- 1.2...