✦ LIBER ✦
[Lecture Notes in Computer Science] VDM'91 Formal Software Development Methods Volume 551 || CICS project report experiences and results from the use of Z in IBM
✍ Scribed by Prehn, S.; Toetenel, W. J.
- Book ID
- 121007662
- Publisher
- Springer Berlin Heidelberg
- Year
- 1991
- Weight
- 531 KB
- Category
- Article
- ISBN
- 3540464492
No coin nor oath required. For personal study only.