Coverart for item
The Resource Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings, Bernhard Möller, ed

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings, Bernhard Möller, ed

Label
Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings
Title
Mathematics of program construction
Title remainder
third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings
Statement of responsibility
Bernhard Möller, ed
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
IT-FiEUI
Index
no index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1995
http://bibfra.me/vocab/lite/meetingName
International Conference on the Mathematics of Program Construction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1953-
http://library.link/vocab/relatedWorkOrContributorName
Möller, Bernhard
Series statement
Lecture notes in computer science
Series volume
947
http://library.link/vocab/subjectName
  • Computer programming
  • Computer science
Label
Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings, Bernhard Möller, ed
Instantiates
Publication
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
FIEb12073611
Dimensions
24 cm.
Extent
viii, 472 pages
Isbn
9783540601173
Media category
unmediated
Media MARC source
rdamedia.
Media type code
  • n
System control number
(OCoLC)32821138
Label
Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings, Bernhard Möller, ed
Publication
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
FIEb12073611
Dimensions
24 cm.
Extent
viii, 472 pages
Isbn
9783540601173
Media category
unmediated
Media MARC source
rdamedia.
Media type code
  • n
System control number
(OCoLC)32821138

Library Locations

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