ADVANCED FORMAL VERIFICATION. (Record no. 138947)

MARC details
000 -LEADER
fixed length control field 00460nam a2200193Ia 4500
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title   ENGLISH
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 621.392
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Item number DRE
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name DRECHSLER, ROLF
245 #0 - TITLE STATEMENT
Title ADVANCED FORMAL VERIFICATION.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication DORDRECHT
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher KLUWER ACADEMIC PUBLISHERS
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Year of publication 2004
300 ## - PHYSICAL DESCRIPTION
Number of Pages 249
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term   ADVANCED FORMAL VERIFICATION
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Reference
Holdings
Full call number Disc Net Amount Accession Number Cost, replacement price Price effective from Koha item type Department Lost status Damaged status Not for loan Withdrawn status Permanent Location Current Location Date acquired Source of acquisition Cost, normal purchase price Bill No Bill Date Language
621.392 25 8901.07 PCCOEEC36072 11868.09 02/09/2022 Reference M. TECH. EMBEDDED SYSTEMS AND VLSI ( EANDTC )         PCCOE PCCOE 15/11/2021 SUYOG ENTERPRISES 11868.09 6088 2021-09-30 ENGLISH