The Unified computation laboratory:modelling, specifications, and tools
Saved in:
Group Author: | ; ; ; |
---|---|
Published: |
Clarendon Press,
|
Publisher Address: | Oxford |
Publication Dates: | 1992. |
Literature type: | Book |
Language: | English |
Series: |
Institute of Mathematics and its applications conference series |
Subjects: | |
Carrier Form: | xiii, 461 p.: ill. ; 23 cm. |
ISBN: | 0198536844 |
Index Number: | TP311 |
CLC: | TP311.5-53 |
Call Number: | TP311.5-53/C748.1/1990/ |
Contents: | Based on the proceedings of a conference on the Unified Computation Laboratory, organized by the Institute of Mathematics and its Applications and held at the University of Stirling in July 1990. |