✦ LIBER ✦
Software development with Z. A practical approach to formal methods in software engineering: John B. Wordsworth; International Computer Science Series; Addison-Wesley; Wokingham, U.K.; 1992; xii + 334 pp.; $32.25 ISBN: 0-201-62757-4
- Publisher
- Elsevier Science
- Year
- 1994
- Tongue
- English
- Weight
- 232 KB
- Volume
- 2
- Category
- Article
- ISSN
- 0967-0661
No coin nor oath required. For personal study only.