Constructive methods in computing science : international summer school directed by F.L. Bauer ... [et al.] /

Bibliographic Details
Corporate Author:	NATO Advanced Study Institute on Constructive Methods in Computing Science Marktoberdorf, Germany
Other Authors:	Broy, M., 1949-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1989]
Series:	NATO ASI series. Computer and systems sciences ; v. 55.
Subjects:	Electronic data processing > Congresses.

Remote Storage