Coverart for item
The Resource CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification, Răzvan Diaconescu, Kokichi Futatsugi

CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification, Răzvan Diaconescu, Kokichi Futatsugi

Label
CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification
Title
CafeOBJ report
Title remainder
the language, proof techniques, and methodologies for object-oriented algebraic specification
Statement of responsibility
Răzvan Diaconescu, Kokichi Futatsugi
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
CUS
http://library.link/vocab/creatorName
Diaconescu, Răzvan
Illustrations
illustrations
Index
index present
LC call number
QA76.64
LC item number
.D53 1998
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Futatsugi, Kokichi
Series statement
AMAST series in computing
Series volume
vol. 6
http://library.link/vocab/subjectName
  • Object-oriented programming (Computer science)
  • Programming languages (Electronic computers)
  • Computer software
  • Algebraic logic
  • Rewriting systems (Computer science)
Label
CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification, Răzvan Diaconescu, Kokichi Futatsugi
Instantiates
Publication
Bibliography note
Includes bibliographical references (pages 115-121) and index
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
40161791
Dimensions
23 cm
Extent
xxi, 174 pages
Isbn
9789810235130
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Label
CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification, Răzvan Diaconescu, Kokichi Futatsugi
Publication
Bibliography note
Includes bibliographical references (pages 115-121) and index
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
40161791
Dimensions
23 cm
Extent
xxi, 174 pages
Isbn
9789810235130
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
    • University of Missouri Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65211, US
      38.919360 -92.291620
Processing Feedback ...