Description: Reasoning about synchronous systems/

Main Author:	Brookes, Stephen D.
Corporate Author:	Carnegie-Mellon University. Department of Computer Science
Format:	Book
Language:	English
Published:	Pittsburgh: Carnegie-Mellon University, 1984
Series:	CMU-CS ; 84145
Subjects:	Computer science Integrated circuits > Very large scale integration Parallel processing (Electronic computers)

Physical Description:	26 p. ; 28 cm.
Bibliography:	Includes bibliography