Deductive program design

Author(s)

• Broy, M.
• North Atlantic Treaty Organization. Scientific Affairs Division
• NATO Advanced Study Institute on Deductive Program Design

Bibliographic Information

Deductive program design

edited by Manfred Broy

（NATO ASI series, Series F . Computer and systems sciences ; no. 152）

Springer, c1996

Note

"Published in cooperation with NATO Scientific Affairs Division."

"Proceedings of the NATO Advanced Study Institute on Deductive Program Design, held in Marktoberdorf, Germany, July 26-August 7, 1994"--T.p. verso

Includes bibliographical references

Details

• NCID: BA27909918
• ISBN:
  • 3540609474
• LCCN: 96010788
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: viii, 467 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.9.D5
  • DC20 : 005.1/1
• Subject Headings:
  • LCSH : Electronic data processing -- Distributed processing -- Congresses
  • LCSH : System design -- Congresses
  • LCSH : Logic, Symbolic and mathematical -- Congresses
• Parent Bibliography ID:
  • BA00020624