The IOTA Programming System

The IOTA Programming System

4.11 - 1251 ratings - Source

J.G. Mitchell, W. Maybury, and R.E. Sweet, Mesa language manual. Technical report CSL-79-3, Xerox ... W. Wulf, R. London, and M. Shaw, An introduction to the construction and verification of Alphard programs. IEEE Trans, on Softwareanbsp;...

Title:The IOTA Programming System
Author:R. Nakajima, Taiichi Yuasa, T. Yuasa
Publisher:Springer Science & Business Media - 1983-10-01


You Must CONTINUE and create a free account to access unlimited downloads & streaming