000 01888nam  2200361zi 4500
0019.870542
003CaOODSP
00520221107163137
006m     o  d f      
007cr |||||||||||
008190325e198303##quca   #ob   f000 0 eng d
040 |aCaOODSP|beng|erda|cCaOODSP
043 |an-cn---
0861 |aCo24-31/1983E-PDF
1001 |aBochmann, Gregor V., |d1941- |eauthor.
24510|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.
69207|2gccst|aComputer systems
69207|2gccst|aCommunications
69207|2gccst|aSpecifications
7101 |aCanada. |bDepartment of Communications.
7102 |aUniversité de Montréal. |bDépartement d'informatique et de recherche opérationnelle.
85640|qPDF|s2.04 MB|uhttps://publications.gc.ca/collections/collection_2019/isde-ised/Co24-31-1983-eng.pdf