Description: Programming and verifying asynchronous systems/

Main Author:	Κοτρώνης, Γιάννης, 1952-
Corporate Author:	University of Newcastle. Computing Laboratory
Format:	Book
Language:	English
Published:	[Newcastle]: [s.n.], 1982
Subjects:	Computer software Computer programming

Physical Description:	241 p. ; 30 cm.
Bibliography:	Includes bibliographical references.