Software engineering with OBJ algebraic specification in action
Gespeichert in:
Weitere Verfasser: | , |
---|---|
Format: | UnknownFormat |
Sprache: | eng |
Veröffentlicht: |
Boston, Mass. u.a.
Kluwer Academic Publishers
c2000
|
Schriftenreihe: | Advances in formal methods
2 |
Schlagworte: | |
Online Zugang: | Publisher description Table of contents only |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Beschreibung: | Literaturangaben |
---|---|
Beschreibung: | XXVI, 410 S. Ill., graph. Darst. 25 cm |
ISBN: | 0792377575 0-7923-7757-5 |