APPLICATIONS of formal methods /
edited by Michael G.Hinchey and Jonathan P.Bowen
- London Prentice Hall 1995
- xvii,447p.
Includes index
133669491
Engineering Design
Enginneering - Management
620.0042 / APP
Includes index
133669491
Engineering Design
Enginneering - Management
620.0042 / APP