Software development with Z: a practical approach to formal methods in software engineering: J B Wordsworth Addison-Wesley (1992) 334 pp £21.95 softback ISBN 0 201 62757 4

✍ Scribed by B Molnar

• Book ID: 108030647
• Publisher: Elsevier Science
• Year: 1992
• Tongue: English
• Weight: 129 KB
• Volume: 34
• Category: Article
• ISSN: 0950-5849
• DOI: 10.1016/0950-5849(92)90171-k