Giriş Topical Term

Kullanılan kayıt sayısı: 1

001 - CONTROL NUMBER

• control field: 96029

003 - CONTROL NUMBER IDENTIFIER

• control field: DLC

005 - DATE AND TIME OF LATEST TRANSACTION

• control field: 20151207134924.0

008 - FIXED-LENGTH DATA ELEMENTS

• fixed length control field: 990506|| anannbabn |a ana

010 ## - LIBRARY OF CONGRESS CONTROL NUMBER

• LC control number: sh 99003622

040 ## - CATALOGING SOURCE

• Original cataloging agency: DLC
• Language of cataloging: eng
• Transcribing agency: DLC

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)

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)