000
| 01937nam 2200361zi 4500 |
---|
001 | 9.870550 |
---|
003 | CaOODSP |
---|
005 | 20221107163138 |
---|
006 | m o d f |
---|
007 | cr ||||||||||| |
---|
008 | 190325e198403##quca #ob f000 0 eng d |
---|
040 | |aCaOODSP|beng|erda|cCaOODSP |
---|
043 | |an-cn--- |
---|
086 | 1 |aCo24-31/1984E-PDF |
---|
100 | 1 |aBochmann, Gregor V., |d1941- |eauthor. |
---|
245 | 10|aFormal description techniques for protocols : |bfinal report / |cby Gregor V. Bochmann. |
---|
264 | 0|a[Montréal] : |bDépartement d'informatique et de recherche opérationnelle, Université de Montréal, |cMarch 1984. |
---|
264 | 1|a[Ottawa] : |bDepartment of Communications Canada |
---|
300 | |a1 online resource (109 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. OST83-00100." |
---|
500 | |aDigitized edition from print [produced by Innovation, Science and Economic Development Canada]. |
---|
504 | |aIncludes bibliographical references. |
---|
520 | |a"The goals of Open System Interworking (OSI) require that implementors throughout the world develop correct and compatible protocol implementations. During the early work on OSI it was recognized that formal description techniques (FDT) would be desirable for attaining these goals. Therefore an ad hoc group on FDT was formed"--Introduction, page 2. |
---|
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|s3.49 MB|uhttps://publications.gc.ca/collections/collection_2019/isde-ised/Co24-31-1984-eng.pdf |
---|