LEADER 00936cam2-2200313---450 001 990002114220203316 005 20171213144927.0 035 $a000211422 035 $aUSA01000211422 035 $a(ALEPH)000211422USA01 035 $a000211422 100 $a20041027d1978----km-y0itay0103----ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $aAffitto$edisposizioni generali$eArt. 1615-1627$fEmilio Romagnoli 210 $aBologna$cZanichelli$aRoma$cSoc. Edit. del Foro Italiano$d1978 215 $aXX, 237 p.$d25 cm 461 1$1001996238532103316$12001$a<>: Delle obbligazioni 606 0 $aLocazioni$2BNCF 676 $a346.4504346 702 l$aROMAGNOLI,$bEmilio 801 0$aIT$bsalbc$gISBD 912 $a990002114220203316 951 $aXXV.1.B. 718 4 Art. 1615-1627$b60671 G.$cXXV.1.B. 718 4/$d00290333 959 $aBK 969 $aGIU 996 $aAffitto$91519019 997 $aUNISA LEADER 02515nam 2200517z- 450 001 9910504301503321 005 20211019 035 $a(CKB)5590000000629475 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/72387 035 $a(oapen)doab72387 035 $a(EXLCZ)995590000000629475 100 $a20202110d2021 |y 0 101 0 $aeng 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aProceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021 210 $aVienna$cTU Wien Academic Press$d2021 215 $a1 online resource (284 p.) 225 1 $aConference Series: Formal Methods in Computer-Aided Design 311 08$a9781665402941 311 08$a1665402946 311 08$a9783854480464 311 08$a3854480466 330 $aThe 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. 517 $a2021 Formal Methods in Computer Aided Design 606 $aArtificial intelligence$2bicssc 606 $aComputer architecture and logic design$2bicssc 606 $aMathematical theory of computation$2bicssc 606 $aSoftware testing and verification$2bicssc 606 $aSystems analysis and design$2bicssc 610 $aFormal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning 615 7$aArtificial intelligence 615 7$aComputer architecture and logic design 615 7$aMathematical theory of computation 615 7$aSoftware testing and verification 615 7$aSystems analysis and design 700 $aPiskac$b Ruzica$4edt$01283190 702 $aWhalen$b Michael$4edt 702 $aPiskac$b Ruzica$4oth 702 $aWhalen$b Michael$4oth 906 $aPROCEEDING 912 $a9910504301503321 996 $aProceedings of the 21st Conference on Formal Methods in Computer-Aided Design ? FMCAD 2021$93018950 997 $aUNINA