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

NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design, Broy, M., North Atlantic Treaty Organization. Scientific Affairs Division

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

Web Site CiNii 所蔵館 20館

書誌事項

タイトル: "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

出版者

Springer-Verlag

出版年月

c1987

書籍サイズ: 25 cm

シリーズ名/番号

: Germany
: U.S.

この図書・雑誌をさがす

注記

"Published in cooperation with NATO Scientific Affairs Division"

"Proceedings of the NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design held in Marktoberdorf, Federal Republic of Germany, July 29 - August 10, 1986"--Verso t.p.

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

書誌事項

この図書・雑誌をさがす

注記

関連図書・雑誌

詳細情報詳細情報について

書き出し

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

書誌事項

この図書・雑誌をさがす

注記

関連図書・雑誌

詳細情報 詳細情報について

書き出し

詳細情報詳細情報について