| 000 | 00000nam 2200000zi 4500 |
| 001 | 9.870542 |
|---|
| 003 | CaOODSP |
|---|
| 005 | 20250325092847 |
|---|
| 006 | m o d f |
|---|
| 007 | cr ||||||||||| |
|---|
| 008 | 190325e198303##quca #ob f000 0 eng d |
|---|
| 040 | |aCaOODSP|beng|erda|cCaOODSP |
|---|
| 043 | |an-cn--- |
|---|
| 086 | 1 |aCo24-31/1983E-PDF |
|---|
| 100 | 1 |aBochmann, Gregor V., |d1941- |eauthor. |
|---|
| 245 | 10|aFormal description techniques for protocols : |bfinal report / |cby Gregor V. Bochmann. |
|---|
| 264 | 0|aMontréal : |bDépartement d'informatique et de recherche opérationnelle, Université de Montréal, |cMarch 1983. |
|---|
| 264 | 1|a[Ottawa] : |bDepartment of Communications Canada |
|---|
| 300 | |a1 online resource (182 pages in various pagings) : |billustrations |
|---|
| 336 | |atext|btxt|2rdacontent |
|---|
| 337 | |acomputer|bc|2rdamedia |
|---|
| 338 | |aonline resource|bcr|2rdacarrier |
|---|
| 500 | |a"This report was prepared for the Department of Communications Canada under contract No. OSU82-00218." |
|---|
| 500 | |aDigitized edition from print [produced by Innovation, Science and Economic Development Canada]. |
|---|
| 504 | |aIncludes bibliographical references. |
|---|
| 520 | |a"The importance of formal description techniques (FDT) for the design and documentation of computer communication protocols and services has been acknowledged by the ISO/TC97 Subcommittee on Open System Interworking (SC16) through the establishment of a Rapporteur's Group on FDT"--Introduction, page 4. |
|---|
| 692 | 07|2gccst|aComputer systems |
|---|
| 692 | 07|2gccst|aCommunications |
|---|
| 692 | 07|2gccst|aSpecifications |
|---|
| 710 | 1 |aCanada. |bDepartment of Communications. |
|---|
| 710 | 2 |aUniversité de Montréal. |bDépartement d'informatique et de recherche opérationnelle. |
|---|
| 856 | 40|qPDF|s2.04 MB|uhttps://publications.gc.ca/collections/collection_2019/isde-ised/Co24-31-1983-eng.pdf |
|---|