Coverart for item
The Resource Algebraic methodology and software technology (AMAST '91) : proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, M. Nivat ... [et al.]. (eds.)

Algebraic methodology and software technology (AMAST '91) : proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, M. Nivat ... [et al.]. (eds.)

Label
Algebraic methodology and software technology (AMAST '91) : proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991
Title
Algebraic methodology and software technology (AMAST '91)
Title remainder
proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991
Statement of responsibility
M. Nivat ... [et al.]. (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
DLC
Dewey number
005.1/01/512
Illustrations
illustrations
Index
index present
LC call number
QA76.758
LC item number
.I5713 1992
Literary form
non fiction
Nature of contents
bibliography
Series statement
Workshops in computing
Label
Algebraic methodology and software technology (AMAST '91) : proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, M. Nivat ... [et al.]. (eds.)
Instantiates
Publication
Note
"Published in collaboration with the British Computer Society."
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
24 cm.
Extent
xi, 572 p.
Isbn
9780387197975
Isbn Type
(alk. paper)
Lccn
92033753
Media category
unmediated
Media MARC source
rdamedia
Other physical details
ill.
System control number
  • (MARC)
  • (GOVTcat)
  • (OCoLC)ocn370291221
Label
Algebraic methodology and software technology (AMAST '91) : proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, M. Nivat ... [et al.]. (eds.)
Publication
Note
"Published in collaboration with the British Computer Society."
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
24 cm.
Extent
xi, 572 p.
Isbn
9780387197975
Isbn Type
(alk. paper)
Lccn
92033753
Media category
unmediated
Media MARC source
rdamedia
Other physical details
ill.
System control number
  • (MARC)
  • (GOVTcat)
  • (OCoLC)ocn370291221

Library Locations

    • Harold B. Lee Library Brigham Young University, Provo, UT, 84602, US
      40.249156 -111.649242
Processing Feedback ...