Normal view
MARC view
Entry Uniform Title
001 - CONTROL NUMBER
- control field: 24200
003 - CONTROL NUMBER IDENTIFIER
- control field: OSt
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20220712204818.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 220712|| aca||aabn | a|a d
040 ## - CATALOGING SOURCE
- Original cataloging agency: OSt
- Transcribing agency: OSt
130 ## - HEADING--UNIFORM TITLE
- Uniform title: Coq (Electronic resource)
670 ## - SOURCE DATA FOUND
- Source citation: Work cat.: (OSt): Chlipala, Adam, 1981- 24199, Certified programming with dependent types :