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 詳細情報について

  • CRID
    1130282273217172736
  • NII Book ID
    BA0100388X
  • ISBN
    3540180036
    0387180036
  • LCCN
    87020638
  • Web Site
    https://lccn.loc.gov/87020638
  • Text Lang
    en
  • Country Code
    gw
  • Title Language Code
    en
  • Place of Publication
    • Berlin ; Tokyo
  • Classification
  • Data Source
    • CiNii Books
Back to top