Formal description techniques, VIII proceedings of IFIP TC 6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995
Contains the research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage.
Saved in:
| Corporate Authors: | , , , |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
London ; New York
Chapman & Hall on behalf of the International Federation for Information Processing (IFIP)
1996.
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 11005 | ||
| 003 | MY-KLNDU | ||
| 005 | 20241218055149.0 | ||
| 008 | s1996 xxka bi 000 0 eng d | ||
| 020 | |a 041273270X | ||
| 039 | 9 | |a 201407141658 |b zul |c 201403131230 |d shahrim |y 200910081526 |z VLOAD | |
| 040 | |a UPNM | ||
| 090 | |a QA 76.6 |b .I58 1995 | ||
| 111 | 2 | |a International Conference on Formal Description Techniques |n (8th |d 1995 |c Montreal, Quebec) | |
| 245 | 1 | 0 | |a Formal description techniques, VIII |b proceedings of IFIP TC 6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 |c edited by Gregor V. Bochmann, Rachida Dssouli, and Omar Rafiq. |
| 246 | 3 | |a Formal description techniques, 8 | |
| 246 | 3 | |a Formal description techniques, eight | |
| 260 | |a London ; |a New York |b Chapman & Hall on behalf of the International Federation for Information Processing (IFIP) |c 1996. | ||
| 300 | |a xiv, 452 p. |b ill. |c 24 cm. | ||
| 500 | |a "The FORTE conferences ... are sponsored by IFIP WG 6.1"--Pref. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Design methodologies -- Verification I -- Algebraic languages -- System specification and Z -- Industrial experiences -- Applying formal methods -- Tools and testing -- Real-time and stochastic systems -- Verification II. | |
| 520 | |a Contains the research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. | ||
| 650 | 0 | |a Computer programming |v Congresses. | |
| 650 | 0 | |a Formal languages |x Congresses. | |
| 700 | 1 | |a Bochmann, Gregor von | |
| 700 | 1 | |a Dssouli, R. |q (Rachida) | |
| 700 | 1 | |a Rafiq, Omar | |
| 710 | 2 | |a International Federation for Information Processing. | |
| 710 | 2 | |a International Federation for Information Processing. |b Technical Committee 6. | |
| 710 | 2 | |a IFIP Working Group 6.1. | |
| 999 | |a vtls000010781 |c 11005 |d 11005 | ||