Normal view
MARC view
- Formal methods (Computer science)
Entry Topical Term
001 - CONTROL NUMBER
- control field: 37711
003 - CONTROL NUMBER IDENTIFIER
- control field: ByWater
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20211017150749.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 211017|| aca||aabn | a|a d
040 ## - CATALOGING SOURCE
- Original cataloging agency: ByWater
- Transcribing agency: ByWater
150 ## - HEADING--TOPICAL TERM
- Topical term or geographic name entry element: Formal methods (Computer science)
670 ## - SOURCE DATA FOUND
- Source citation: Work cat.: (ByWater)7942: Wordsworth, J.B. 37710, Software development with Z :, 1992.