Lecture notes in computer science  V.193. Logics of programs,Brooklyn,June 17-19,1985 

 -  1985 
<br/><br/><label>Subjects--Uniform Titles: </label><br/>Computers
<br/><br/><label>Dewey Class. No.: </label>621.38195  / G52L