Mathematical foundations of programming /

Bibliographic Details

Main Author:	Beckman, Frank S.
Format:	Book
Language:	English
Published:	Reading, MA : Addison-Wesley, [1980]
Series:	Addison-Wesley systems programming series.
Subjects:	Logic, Symbolic and mathematical. Machine theory. Formal languages.