Algebraic foundations of systems specification/
Other Authors: | Kreowski, H.-JHans-Jorg, Krieg-Bruckner, B.Bernd |
---|---|
Format: | Book |
Language: | English |
Published: |
New York:
Springer,
1999
|
Series: | IFIP state-of-the-art reports
|
Subjects: |
Similar Items
-
Formal specification: techniques and applications/
by: Nissanke, Nimal
Published: (1999) -
Software specification methods
Published: (2006) -
Teamwork in multi-agent systems a formal approach /
by: Dunin-Kπeplicz, Barbara.
Published: (2010) -
Specification of software systems/
by: Alagar, Vangalur S., 1940-
Published: (1998) -
Specification of software systems /
by: Alagar, Vangalur S., 1940-
Published: (1998)