Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra and C.A.R. Hoare

責任表示:

lecturers, M. Broy ... [et al.] ; edited by Manfred Broy and Gunther Schmidt

シリーズ名:

NATO ASI series. Series C, Mathematical and physical sciences

シリーズ巻号:

91

出版情報:

Dordrecht, Holland: D. Reidel, 1982

ISSN:

02582023

ISBN:

9789027714602 [9027714606]

請求記号:

N11480/91

資料種別:

国際会議録