High-integrity system specification and design

Jonathon P. Bowen and Michael G. Hinchey [eds.]
Bok · Engelsk · 1999

Utgitt	London : Springer , c1999
Omfang	xix, 701 s. : fig.
Emner	System analysis System design Case Datastøttet programmering Jackson system design
ISBN	3540762264