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:
LEADER 00698nam a2200193 a 4500
001 1197590
005 20171111232607.0
008 080625s1982 gr er b 000 0 eng d
040 |a GrAtEKP.sci  |b gre  |e AACR2 
082 0 |2 22  |a 005.3 
100 1 |a Κοτρώνης, Γιάννης,  |d 1952- 
245 1 0 |a Programming and verifying asynchronous systems/  |c J. Y. Cotronis 
260 |a [Newcastle]:  |b [s.n.],  |c 1982 
300 |a 241 p. ;  |c 30 cm. 
504 |a Includes bibliographical references. 
650 0 |a Computer software 
650 0 |a Computer programming 
710 0 |a University of Newcastle.  |b Computing Laboratory 
952 |a GrAtEKP  |b 59ccf27e6c5ad134460ce1bc  |c 998a  |d 945l  |e ΔΔ 005.3 ΚοτΓ p 1982  |t 1  |x m  |z Books