Software engineering with OBJ : algebraic specification in action

Author(s)

• Goguen, Joseph
• Malcolm, Grant

Bibliographic Information

Software engineering with OBJ : algebraic specification in action

edited by Joseph Goguen, Grant Malcolm

（Advances in formal methods / series editor, Michael Hinchey）

Kluwer Academic, c2000

Note

Includes bibliographical references & index

Details

• NCID: BA46825950
• ISBN:
  • 0792377575
• LCCN: 00022759
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Boston ; Dordrecht ; London
• Pages/Volumes: xxvi, 410 p.
• Size: 25 cm
• Parent Bibliography ID:
  • BA46490182