Normal view
MARC view
- Formal methods (Computer science)
Entry Topical Term
001 - CONTROL NUMBER
- control field: 2255
003 - CONTROL NUMBER IDENTIFIER
- control field: TR-AnTOB
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20200505115803.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 990506|| azannbabn |a ana
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
- LC control number: sh 99003622
035 ## - SYSTEM CONTROL NUMBER
- System control number: (TR-AnTOB)2255
040 ## - CATALOGING SOURCE
- Original cataloging agency: DLC
- Language of cataloging: eng
- Transcribing agency: DLC
- Modifying agency: TR-AnTOB
053 #0 - LC CLASSIFICATION NUMBER
- Classification number element--single number or beginning number of span: QA76.9.F67
150 ## - HEADING--TOPICAL TERM
- Topical term or geographic name entry element: Formal methods (Computer science)
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Biçimsel metodlar (Bilgisayar bilimi)
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Biçimsel yöntemler (Bilgisayar bilimi)
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Biçimsel metotlar (Bilgisayar bilimi)
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: g
- Topical term or geographic name entry element: System design
670 ## - SOURCE DATA FOUND
- Source citation: Work cat.: 99-29060: International Conference on Integrated Formal Methods, 1999.
670 ## - SOURCE DATA FOUND
- Source citation: ASTI
- Information found: (hdg.: Formal methods)
670 ## - SOURCE DATA FOUND
- Source citation: Encyc. computer sci.
- Information found: (Formal methods used in developing and verifying software and hardware are mathematically-based techniques for describing and reasoning about system properties. Such formal methods provide frameworks within which people specify, develop, and verify systems in a systematic, rather than ad hoc, manner. Formal methods include the more specific activities of program specification, program verification and hardware verification.)
670 ## - SOURCE DATA FOUND
- Source citation: Yahoo, May 6, 1999
- Information found: (category: Science: Computer science: Formal methods)
688 ## - APPLICATION HISTORY NOTE
- Institution to which field applies: TR-AnTOB
- Application history note: Op 05.05.2020
750 ## - ESTABLISHED HEADING LINKING ENTRY--TOPICAL TERM
- Authority record control number or standard number: https://lccn.loc.gov/sh99003622
- Source of heading or term: lcsh
750 ## - ESTABLISHED HEADING LINKING ENTRY--TOPICAL TERM
- Authority record control number or standard number: (TR-AnTOB)28850
- Source of heading or term: etuturkob
