000
| 01888cam 2200361zi 4500 |
---|
001 | 9.870542 |
---|
003 | CaOODSP |
---|
005 | 20221107163137 |
---|
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 |
---|