Coverart for item
The Resource 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

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

Label
Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
Title
Mathematics of program construction
Title remainder
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
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
IT-FiEUI
Index
no index present
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1943-
  • 1952-
  • 1992
http://library.link/vocab/relatedWorkOrContributorName
  • Bird, Richard
  • Morgan, Carroll
  • Woodcock, Jim
  • International Conference on the Mathematics of Program Construction
Series statement
Lecture notes in computer science
Series volume
669
http://library.link/vocab/subjectName
  • Computer programming
  • Computer science
Label
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
Instantiates
Publication
Note
"Papers ... 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
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier.
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent.
Control code
FIEb12073659
Dimensions
24 cm.
Extent
viii, 378 pages
Isbn
9783540566250
Media category
unmediated
Media MARC source
rdamedia.
Media type code
  • n
System control number
(OCoLC)1031639468
Label
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
Publication
Note
"Papers ... 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
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier.
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent.
Control code
FIEb12073659
Dimensions
24 cm.
Extent
viii, 378 pages
Isbn
9783540566250
Media category
unmediated
Media MARC source
rdamedia.
Media type code
  • n
System control number
(OCoLC)1031639468

Library Locations

    • Badia FiesolanaBorrow it
      Via dei Roccettini 9, San Domenico di Fiesole, 50014, IT
      43.803074 11.283055
Processing Feedback ...