000 01891cam  2200385zi 4500
0019.870244
003CaOODSP
00520221107163051
006m     o  d f      
007cr |||||||||||
008190320e198203##quca   #ob   f000 0 eng d
040 |aCaOODSP|beng|erda|cCaOODSP
041 |aeng|bfre
043 |an-cn---
0861 |aCo24-31/1982E-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 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.
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.42 MB|uhttps://publications.gc.ca/collections/collection_2019/isde-ised/Co24-31-1982-eng.pdf