Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings

Author(s)

• International Conference on the Mathematics of Program Construction
• Bird, R. S. (Richard Simpson)
• Morgan, C. C. (Charles Carroll)
• Woodcock, James

Bibliographic Information

Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings

R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.)

（Lecture notes in computer science, 669）

Springer-Verlag, c1993

• : gw
• : us

Note

"The papers in this volume were presented at the Second International Conference on the Mathematics of Program Construction, held at St. Catherine's College, Oxford, during the week of 29 June-3 July, 1992."--Pref

Details

• NCID: BA19829981
• ISBN:
  • 3540566252
  • 0387566252
• LCCN: 93016952
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: viii, 378 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.6
  • DC20 : 005.1/01/5113
  • NDC8 : 410.7
• Subject Headings:
  • LCSH : Electronic digital computers -- Programming -- Congresses
  • LCSH : Computer science -- Mathematics -- Congresses
• Parent Bibliography ID:
  • BA00009279