資源描述：
《applied formal verification外語英文電子書》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫。
1、APPLIEDFORMALVERIFICATIONThispageintentionallyleftblankAPPLIEDFORMALVERIFICATIONDOUGLASL.PERRYVirtutech,Inc.HARRYD.FOSTERJasperDesignAutomation,Inc.McGraw-HillNewYorkChicagoSanFranciscoLisbonLondonMadridMexicoCityMilanNewDelhiSanJuanSeoulSingaporeSydneyToronto
2、Copyright?2005byTheMcGraw-HillCompanies,Inc.Allrightsreserved.ManufacturedintheUnitedStatesofAmerica.ExceptaspermittedundertheUnitedStatesCopyrightActof1976,nopartofthispublicationmaybereproducedordistributedinanyformorbyanymeans,orstoredinadata-baseorretrieva
3、lsystem,withoutthepriorwrittenpermissionofthepublisher.0-07-158889-2ThematerialinthiseBookalsoappearsintheprintversionofthistitle:0-07-144372-X.Alltrademarksaretrademarksoftheirrespectiveowners.Ratherthanputatrademarksymbolaftereveryoccurrenceofatrademarkednam
4、e,weusenamesinaneditorialfashiononly,andtothebenefitofthetrademarkowner,withnointentionofinfringementofthetrademark.Wheresuchdesignationsappearinthisbook,theyhavebeenprintedwithinitialcaps.McGraw-HilleBooksareavailableatspecialquantitydiscountstouseaspremiumsa
5、ndsalespromotions,orforuseincorporatetrainingprograms.Formoreinformation,pleasecontactGeorgeHoare,SpecialSales,atgeorge_hoare@mcgraw-hill.comor(212)904-4069.TERMSOFUSEThisisacopyrightedworkandTheMcGraw-HillCompanies,Inc.(“McGraw-Hill”)anditslicensorsreserveall
6、rightsinandtothework.Useofthisworkissubjecttotheseterms.ExceptaspermittedundertheCopyrightActof1976andtherighttostoreandretrieveonecopyofthework,youmaynotdecompile,disassemble,reverseengineer,reproduce,modify,createderivativeworksbasedupon,transmit,distribute,
7、disseminate,sell,publishorsublicensetheworkoranypartofitwithoutMcGraw-Hill’spriorconsent.Youmayusetheworkforyourownnoncommercialandpersonaluse;anyotheruseoftheworkisstrictlyprohibited.Yourrighttousetheworkmaybeterminatedifyoufailtocomplywiththeseterms.THEWORKI
8、SPROVIDED“ASIS.”McGRAW-HILLANDITSLICENSORSMAKENOGUAR-ANTEESORWARRANTIESASTOTHEACCURACY,ADEQUACYORCOMPLETENESSOFORRESULTSTOBEOBTAINEDFROMUSINGTHEWORK,INCLUDINGANYINFORMATIONTHATCANB
