MARC details
| 000 -LEADER |
|---|
| fixed length control field |
02765naaaa2200421uu 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
https://directory.doabooks.org/handle/20.500.12854/72387 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20220714165652.0 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
2021/isbn.978-3-85448-046-4 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783854480464 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.34727/2021/isbn.978-3-85448-046-4 |
| Terms of availability |
doi |
| 041 0# - LANGUAGE CODE |
|---|
| Language code of text/sound track or separate title |
English |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
dc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYD |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UMZT |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYF |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYA |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UYQ |
| Source |
bicssc |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Piskac, Ruzica |
| Relator code |
edt |
| 9 (RLIN) |
1582789 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc |
Vienna |
| Name of publisher, distributor, etc |
TU Wien Academic Press |
| Date of publication, distribution, etc |
2021 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 electronic resource (284 p.) |
| 506 0# - RESTRICTIONS ON ACCESS NOTE |
|---|
| Terms governing access |
Open Access |
| Source of term |
star |
| Standardized terminology for access restriction |
Unrestricted online access |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing. |
| 540 ## - TERMS GOVERNING USE AND REPRODUCTION NOTE |
|---|
| Terms governing use and reproduction |
Creative Commons |
| -- |
https://creativecommons.org/licenses/by-sa/4.0/ |
| -- |
cc |
| -- |
https://creativecommons.org/licenses/by-sa/4.0/ |
| 546 ## - LANGUAGE NOTE |
|---|
| Language note |
English |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Systems analysis & design |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
1200538 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software testing & verification |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
952991 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer architecture & logic design |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
1183987 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathematical theory of computation |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
855105 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial intelligence |
| Source of heading or term |
bicssc |
| 9 (RLIN) |
2458 |
| 653 ## - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Whalen, Michael |
| Relator code |
edt |
| 9 (RLIN) |
1582790 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Piskac, Ruzica |
| Relator code |
oth |
| 9 (RLIN) |
1582789 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Whalen, Michael |
| Relator code |
oth |
| 9 (RLIN) |
1582790 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Host name |
www.oapen.org |
| Uniform Resource Identifier |
<a href="https://library.oapen.org/bitstream/20.500.12657/51064/1/E-Book_Proceedings%20of%20the%2021st%20Conference%20on%20Formal%20Methods%20in%20Computer-Aided%20Design%20%e2%80%93%20FMCAD%202021.pdf">https://library.oapen.org/bitstream/20.500.12657/51064/1/E-Book_Proceedings%20of%20the%2021st%20Conference%20on%20Formal%20Methods%20in%20Computer-Aided%20Design%20%e2%80%93%20FMCAD%202021.pdf</a> |
| -- |
0 |
| Public note |
DOAB: download the publication |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Host name |
www.oapen.org |
| Uniform Resource Identifier |
<a href="https://library.oapen.org/bitstream/20.500.12657/51064/1/E-Book_Proceedings%20of%20the%2021st%20Conference%20on%20Formal%20Methods%20in%20Computer-Aided%20Design%20%e2%80%93%20FMCAD%202021.pdf">https://library.oapen.org/bitstream/20.500.12657/51064/1/E-Book_Proceedings%20of%20the%2021st%20Conference%20on%20Formal%20Methods%20in%20Computer-Aided%20Design%20%e2%80%93%20FMCAD%202021.pdf</a> |
| -- |
0 |
| Public note |
DOAB: download the publication |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Host name |
www.oapen.org |
| Uniform Resource Identifier |
<a href="https://directory.doabooks.org/handle/20.500.12854/72387">https://directory.doabooks.org/handle/20.500.12854/72387</a> |
| -- |
0 |
| Public note |
DOAB: description of the publication |
