Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

責任表示:

edited by Manfred Broy

シリーズ名:

NATO ASI series. Series F, Computer and systems sciences

シリーズ巻号:

36

出版情報:

Berlin: Springer-Verlag, 1987

ISSN:

02581248

ISBN:

9783540180036 [3540180036]

請求記号:

N11483/36

資料種別:

国際会議録