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 Available at 20 libraries

Bibliographic Information

Title
"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"
Statement of Responsibility
edited by Manfred Broy
Publisher
  • Springer-Verlag
Publication Year
  • c1987
Book size
25 cm
Series Name / No
  • : Germany
  • : U.S.

Search this Book/Journal

Notes

"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.

Related Books

See more

Details 詳細情報について

Back to top