00000nam 2200000zi 4500 9.949487 CaOODSP 20250327135203 m o d f cr mn||||||||| 250325e198103##quca o f000 0 eng d CaOODSP eng rda CaOODSP Co24-3/1-1981-0009E-PDF Bochmann, Gregor V., 1941- author. A study of formal description techniques / by Gregor V. Bochmann. Montréal, P.Q. : Département d'informatique et de recherche opérationnelle, Université de Montréal, March 1981. 1 online resource (1 volume (various pagings)) : illustrations. text txt rdacontent computer c rdamedia online resource cr rdacarrier DOC contractor report ; DOC-CR-CS-1981-0009 "Final Report for DOC contract No. CR-CS-1981-0009." Includes contract information page between title page and page 1. Digitized edition from print [produced by Innovation, Science and Economic Development Canada]. Formal methods (Computer science) Méthodes formelles (Informatique) Canada. Department of Communications, issuing body. Université de Montréal. Département d'informatique et de recherche opérationnelle, consultant, issuing body. DOC contractor report (Canada. Department of Communications) DOC-CR-CS-1981-0009. (CaOODSP)9.869864 PDF 1.51 MB https://publications.gc.ca/collections/collection_2025/isde-ised/co24/Co24-3-1-1981-0009-eng.pdf