Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer ... [et al.] /

Bibliographic Details
Corporate Authors:	NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design Marktoberdorf, Germany, North Atlantic Treaty Organization. Scientific Affairs Division
Other Authors:	Broy, M., 1949-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1987]
Series:	NATO ASI series. Computer and systems sciences ; no. 36.
Subjects:	Formal languages > Congresses. Logic programming > Congresses.

Remote Storage