Logic of programming and calculi of discrete design  International Summer School directed by F.L. Bauer ... [et al.] 
edited by Manfred Broy 
 - Berlin  New York  Springer-Verlag  c1987 
 - 413 p  ill  25 cm 
 - NATO ASI series. Series F, Computer and systems sciences  vol. 36 .
 - NATO ASI series .
<br/><br/> "Published in cooperation with NATO Scientific Affairs Division."  "Proceedings of the NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design held in Marktoberdorf, Federal Republic of Germany, July 29 - August 10, 1986"--Verso t.p  Cuprinde bibliografie 
<br/><br/><label>ISBN: </label>0387180036 (U.S.) 
<br/><br/><label>LCCN: </label>87020638 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal languages--Congresses<br/>Logic programming--Congresses
<br/><br/><label>Dewey Class. No.: </label>005.13/1