Software engineering with OBJ : algebraic specification in action / edited by Joseph Goguen, Grant Malcolm.
Saved in:
Other Authors: | , |
---|---|
Format: | Book |
Language: | English |
Published: |
Boston :
Kluwer Academic,
©2000.
|
Series: | Advances in formal methods ;
2. |
Subjects: |
PASCAL Offsite
Call Number: |
QA76.758 .S65615 2000
|
---|---|
QA76.758 .S65615 2000 | Available Place a Hold |