✦ LIBER ✦
[IEEE Comput. Soc. Press 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 - Phoenix, AZ, USA (1-5 Nov. 1993)] Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 - Use of a specification construction and animation tool to teach formal methods
✍ Scribed by Morrey, I.; Siddiqi, J.; Buckberry, G.; Hibberd, R.
- Book ID
- 111858203
- Publisher
- IEEE Comput. Soc. Press
- Year
- 1993
- Tongue
- English
- Weight
- 470 KB
- Volume
- 0
- Category
- Article
- ISBN-13
- 9780818644405
No coin nor oath required. For personal study only.