LEADER 01352nam  2200385   450 
001 9910228956503321
005 20180317091417.0
010   $a0-9835678-7-5
035   $a(CKB)4100000000884296
035   $a(WaSeSS)IndRDA00095333
035   $a(EXLCZ)994100000000884296
100   $a20180317d2017      ||             |
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aFMCAD 2017 $eproceedings of the 17th Conference on Formal Methods in Computer-Aided Design : October 2-6, 2017, TU Wien, Vienna, Austria /$fedited by Daryl Stewart and Georg Weissenbacher
210  1$aNew York :$cIEEE,$d2017.
215   $a1 online resource (229 pages)
311   $a1-5386-1012-4 
606   $aDigital integrated circuits$xComputer-aided design$vCongresses
606   $aIntegrated circuits$xVerification$vCongresses
606   $aFormal methods (Computer science)$vCongresses
615  0$aDigital integrated circuits$xComputer-aided design
615  0$aIntegrated circuits$xVerification
615  0$aFormal methods (Computer science)
702   $aStewart$b Daryl
702   $aWeissenbacher$b Georg
801  0$bWaSeSS
801  1$bWaSeSS
906   $aPROCEEDING
912   $a9910228956503321
996   $aFMCAD 2017$92494675
997   $aUNINA

LEADER 02126nas  2200649-  450 
001 9910339573603321
005 20241221111237.0
035   $a(CKB)954921377734
035   $a(CONSER)---79640406-
035   $a(MiFhGG)1052
035   $a(EXLCZ)99954921377734
100   $a20781026b19781998  -a-         a
101 0 $aeng
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aBusiness America
210   $a[Washington, D.C.] $cU.S. Dept. of Commerce $c[Supt. of Docs., U.S. G.P.O., distributor]$d[-1999]
215   $a1 online resource
311 08$aPrint version: Business America. (DLC)   79640406 (OCoLC)4320918 0190-6275 
531   $aBUSINESS AMERICA THE MAGAZINE OF INTERNATIONAL TRADE
531 0 $aBus. Am.
606   $aBusiness$vPeriodicals
606   $aInternational business enterprises$zUnited States$vPeriodicals
606   $aAffaires$2eclas
606   $aMensuels$2eclas
606   $aMultinationales$2eclas
606   $aBusiness$2fast$3(OCoLC)fst00842262
606   $aCommerce$2fast$3(OCoLC)fst00869279
606   $aInternational business enterprises$2fast$3(OCoLC)fst00976774
606   $aBUSINESS$2unbist
606   $aFOREIGN TRADE$2unbist
606   $aUNITED STATES$2unbist
607   $aUnited States$xCommerce$vPeriodicals
607   $aEtats-Unis d'Amérique$2eclas
607   $aUnited States$2fast
608   $aPeriodicals.$2fast
608   $aPeriodicals.$2lcgft
615  0$aBusiness
615  0$aInternational business enterprises
615  7$aAffaires.
615  7$aMensuels.
615  7$aMultinationales.
615  7$aBusiness.
615  7$aCommerce.
615  7$aInternational business enterprises.
615 17$aBUSINESS.
615 17$aFOREIGN TRADE.
615 17$aUNITED STATES.
676   $a330.9/73/092
712 02$aUnited States.$bDepartment of Commerce.
712 02$aUnited States.$bInternational Trade Administration.
906   $aJOURNAL
912   $a9910339573603321
920   $aexl_impl conversion
996   $aBusiness America$92407495
997   $aUNINA