Research Catalog

CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification

Title
CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification / Răzvan Diaconescu, Kokichi Futatsugi.
Author
Diaconescu, Răzvan.
Publication
Singapore : World Scientific, c1998.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance JSD 00-3Offsite

Details

Additional Authors
Futatsugi, Kokichi.
Description
xxi, 174 p. : ill.; 23 cm.
Series Statement
AMAST series in computing ; vol. 6
Subject
  • Object-oriented programming (Computer science)
  • Programming languages (Electronic computers)
  • Computer software > Development
  • Algebraic logic
  • Rewriting systems (Computer science)
Bibliography (note)
  • Includes bibliographical references (p. 115-121) and index.
Call Number
JSD 00-3
ISBN
9810235135
OCLC
40161791
Author
Diaconescu, Răzvan.
Title
CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification / Răzvan Diaconescu, Kokichi Futatsugi.
Imprint
Singapore : World Scientific, c1998.
Series
AMAST series in computing ; vol. 6
Bibliography
Includes bibliographical references (p. 115-121) and index.
Added Author
Futatsugi, Kokichi.
Research Call Number
JSD 00-3
View in Legacy Catalog