Mathematical foundations of computer science 1975 :  4th Symposium, Marianske Lazne, September 1-5, 1975 / 
edited by J. Becvar. 
 - Berlin  Springer-Verlag  1975. 
 - 476 p. ;  25 cm. 
 - Lectures notes in computer science  32. .
<br/><br/> 'The Symposium is organized by Mathematical Institute of the Czechoslovak Academy of Sciences and is co-sponsored by the International Federation for Information Processing (IFIP)'. 
<br/><br/>Includes indexes and  bibliographical references. 
<br/><br/><label>ISBN: </label>0387073892 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal languages--Congresses.<br/>Machine theory--Congresses.<br/>Programming (Electronic computers)--Congresses.