000
| 01891nam 2200385zi 4500 |
---|
001 | 9.870244 |
---|
003 | CaOODSP |
---|
005 | 20221107163051 |
---|
006 | m o d f |
---|
007 | cr ||||||||||| |
---|
008 | 190320e198203##quca #ob f000 0 eng d |
---|
040 | |aCaOODSP|beng|erda|cCaOODSP |
---|
041 | |aeng|bfre |
---|
043 | |an-cn--- |
---|
086 | 1 |aCo24-31/1982E-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 1982. |
---|
264 | 1|a[Ottawa] : |b[Department of Communications] |
---|
300 | |a1 online resource (198 pages in various pagings) : |billustrations |
---|
336 | |atext|btxt|2rdacontent |
---|
337 | |acomputer|bc|2rdamedia |
---|
338 | |aonline resource|bcr|2rdacarrier |
---|
500 | |a"For DOC contract No. CR-CS-1982-0033." |
---|
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 1. |
---|
546 | |aIncludes some text in French. |
---|
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.42 MB|uhttps://publications.gc.ca/collections/collection_2019/isde-ised/Co24-31-1982-eng.pdf |
---|