Formal description techniques, VIII:proceedings of the IFIP TC 6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995
Saved in:
Corporate Authors: | ; ; ; |
---|---|
Group Author: | ; ; ; |
Published: |
Chapman & Hall on behalf of the International Federation for Information Processing (IFIP),
|
Publisher Address: | London |
Publication Dates: | c1996. |
Literature type: | Book |
Language: | English |
Edition: | 1st ed. |
Subjects: | |
Carrier Form: | xiv, 452 p.: ill. ; 24 cm. |
ISBN: | 041273270X |
Index Number: | TP330 |
CLC: | TP330.12-532 |
Call Number: | TP330.12-532/I61/1995/ |
Contents: |
"The FORTE conferences ... are sponsored by IFIP WG 6.1"--Pref. Includes bibliographical references and index. |