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

Web Site CiNii Available at 61 libraries

Bibliographic Information

Title
"Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings"
Statement of Responsibility
R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.)
Publisher
  • Springer-Verlag
Publication Year
  • c1993
Book size
24 cm
Series Name / No
  • : gw
  • : us

Search this Book/Journal

Notes

"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

Related Books

See more

Details 詳細情報について

Back to top