| 000 | 00000nam 2200000zi 4500 |
| 001 | 9.949487 |
|---|
| 003 | CaOODSP |
|---|
| 005 | 20250327135203 |
|---|
| 006 | m o d f |
|---|
| 007 | cr mn||||||||| |
|---|
| 008 | 250325e198103##quca o f000 0 eng d |
|---|
| 040 | |aCaOODSP|beng|erda|cCaOODSP |
|---|
| 086 | 1 |aCo24-3/1-1981-0009E-PDF |
|---|
| 100 | 1 |aBochmann, Gregor V., |d1941- |eauthor. |
|---|
| 245 | 12|aA study of formal description techniques / |cby Gregor V. Bochmann. |
|---|
| 264 | 1|aMontréal, P.Q. : |bDépartement d'informatique et de recherche opérationnelle, Université de Montréal, |cMarch 1981. |
|---|
| 300 | |a1 online resource (1 volume (various pagings)) : |billustrations. |
|---|
| 336 | |atext|btxt|2rdacontent |
|---|
| 337 | |acomputer|bc|2rdamedia |
|---|
| 338 | |aonline resource|bcr|2rdacarrier |
|---|
| 490 | 1 |aDOC contractor report ; |vDOC-CR-CS-1981-0009 |
|---|
| 500 | |a"Final Report for DOC contract No. CR-CS-1981-0009." |
|---|
| 500 | |aIncludes contract information page between title page and page 1. |
|---|
| 500 | |aDigitized edition from print [produced by Innovation, Science and Economic Development Canada]. |
|---|
| 650 | 0|aFormal methods (Computer science) |
|---|
| 650 | 6|aMéthodes formelles (Informatique) |
|---|
| 710 | 1 |aCanada. |bDepartment of Communications, |eissuing body. |
|---|
| 710 | 2 |aUniversité de Montréal. |bDépartement d'informatique et de recherche opérationnelle, |econsultant, |eissuing body. |
|---|
| 830 | #0|aDOC contractor report (Canada. Department of Communications)|vDOC-CR-CS-1981-0009.|w(CaOODSP)9.869864 |
|---|
| 856 | 40|qPDF|s1.51 MB|uhttps://publications.gc.ca/collections/collection_2025/isde-ised/co24/Co24-3-1-1981-0009-eng.pdf |
|---|