PakCat catalogue record

Systematic Software Development Using VDM

By Jones, Cliff B

Bibliographic details

ISBN
0138807175
Publisher
PHI
Publication year
1986
Edition
0
Material type
Book
Physical description
300

Additional authors

-