Design and implementation of symbolic computation systems /
Corporate Author: | International Symposium DISCO '96 Karlsruhe, Germany |
---|---|
Other Authors: | Calmet, Jacques, 1941- (ed.), Limongelli, Carla (ed.) |
Format: | Conference Proceeding Book |
Published: |
Berlin :
Springer,
1996.
|
Series: | Lecture notes in computer science ;
v. 1128 LNCS ; v. 1128 |
Subjects: |
Similar Items
-
An introduction to formal specification and Z /
by: Potter, Ben
Published: (1996) -
Recent trends in data type specification /
Published: (1996) -
Formal specification and design /
by: Feijs, Loe M. G., 1954-
Published: (1992) -
Recent trends in data type specification /
Published: (1995) -
Static analysis : second international symposium, SAS '95, Glasgow, UK, September 1995 : proceedings /
Published: (1995)