| 000 | 01495nam a2200277Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s1996##################000#0#eng## | ||
| 020 | _a9780412794902 | ||
| 022 | _a2001275409 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a004.62 NWR | ||
| 245 |
_aFormal description techniques, IX : theory, application and tools : IFIP TC6 / 6.1 international conference on formal description techniques IX/Protocol specification, testing and Verification XVI, Kaiserslautern, Germany, 8-11 October, 1996 _cedited by Reinhard Gotzhein and Jan Bredereke |
||
| 260 |
_aLondon _bpublished by Chapman & Hall on behalf of the International Federation for Information Processing _cc1996 |
||
| 300 | _avii, 516 p. : ill. ; 25 cm | ||
| 500 | _aIncludes bibliographical references and index | ||
| 650 | _aComputer network protocols - Congresses | ||
| 650 | _aComputer programming - Congresses | ||
| 650 | _aElectronic data processing - Distributed processing - Congresses | ||
| 650 | _aFormal languages - Congresses | ||
| 650 | _aFormal methods (Computer science) | ||
| 700 | _aBredereke, Jan | ||
| 700 | _aGotzhein, Reinhard | ||
| 710 | _aIFIP WG 6.1 International Symposium on Protocol Specification, Testing and Verification (16th : 1996 : Kaiserslautern, Germany), International Conference on Formal Description Techniques (9th : 1996 : Kaiserslautern, Germany), International Federation for Information Processing | ||
| 990 | _aab32323dac10000c269fba3e038c9436 | ||
| 991 | _a60872 | ||
| 999 |
_c186949 _d186949 |
||