跳至内容
Model checking 線上預覽
關閉線上預覽
正在查...

Model checking

作者: E M Clarke; Orna Grumberg; Doron A Peled
出版商: Cambridge, Mass. : MIT Press, ©1999.
版本/格式:   Print book : 英語所有版本和格式的總覽
資料庫:WorldCat
提要:

This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a  再讀一些...

評定級別:

(尚未評分) 0 附有評論 - 成爲第一個。

主題
更多類似這樣的

 

在線上查詢

與資料的連結

在圖書館查詢

&AllPage.SpinnerRetrieving; 正在查詢有此資料的圖書館...

詳細書目

資料類型: 網際網路資源
文件類型: 圖書, 網路資源
所有的作者/貢獻者: E M Clarke; Orna Grumberg; Doron A Peled
ISBN: 0262032708 9780262032704
OCLC系統控制編碼: 40675218
描述: xiv, 314 pages : illustrations ; 24 cm
内容: Modeling systems --
Trmporal logics --
Model checking --
Binary decision diagram --
Symbolic model checking --
Model checking for the u-calculus --
Model checking in practice --
Model checking and automata theory --
Partial order reduction --
Equivalences and preorders between structures --
Compositional reasoning --
Abstraction --
Symmetry --
Infinite families of finite-state systems --
Discrete real-time and quantitative temporal analysis --
Continuous real time.
責任: Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.

評論

社評

出版商概要

" Model Checking is bound to be the pre-eminent source for research, teaching, and industrial practice on this important subject. Theauthors include the foremost experts. This is the first 再讀一些...

 
讀者提供的評論
正在擷取GoodReads評論...
正在擷取DOGObooks的評論

標籤

成爲第一個
確認申請

你可能已經申請過這份資料。若還是想申請,請選確認。

連結資料


Primary Entity

<http://www.worldcat.org/oclc/40675218> # Model checking
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "40675218" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/993542#Place/cambridge_mass> ; # Cambridge, Mass.
    schema:about <http://experiment.worldcat.org/entity/work/data/993542#Topic/verificacao_e_validacao_de_software> ; # Verificação e validação de software
    schema:about <http://id.loc.gov/authorities/subjects/sh2008002946> ; # Computer systems--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/993542#Topic/datenverarbeitungssystem> ; # Datenverarbeitungssystem
    schema:about <http://id.worldcat.org/fast/1750859> ; # Computer systems--Verification
    schema:about <http://dewey.info/class/004.21/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/993542#Topic/verificatie> ; # Verificatie
    schema:about <http://experiment.worldcat.org/entity/work/data/993542#Topic/computer_systems_verification> ; # Computer systems--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/993542#Topic/model_checking> ; # Model Checking
    schema:about <http://experiment.worldcat.org/entity/work/data/993542#Topic/modellen> ; # Modellen
    schema:about <http://experiment.worldcat.org/entity/work/data/993542#Topic/computersystemen> ; # Computersystemen
    schema:about <http://experiment.worldcat.org/entity/work/data/993542#Topic/logiciels_verification> ; # Logiciels--Vérification
    schema:about <http://experiment.worldcat.org/entity/work/data/993542#Topic/engenharia_de_software> ; # Engenharia de software
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/85346726> ; # Doron A. Peled
    schema:contributor <http://experiment.worldcat.org/entity/work/data/993542#Person/grumberg_orna> ; # Orna Grumberg
    schema:copyrightYear "1999" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/993542#Person/clarke_e_m_1945> ; # E. M. Clarke
    schema:datePublished "1999" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/993542> ;
    schema:inLanguage "en" ;
    schema:name "Model checking"@en ;
    schema:productID "40675218" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/40675218#PublicationEvent/cambridge_mass_mit_press_1999> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/993542#Agent/mit_press> ; # MIT Press
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=008853037&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:workExample <http://worldcat.org/isbn/9780262032704> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB99V9765> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/40675218> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/993542#Person/clarke_e_m_1945> # E. M. Clarke
    a schema:Person ;
    schema:birthDate "1945" ;
    schema:familyName "Clarke" ;
    schema:givenName "E. M." ;
    schema:name "E. M. Clarke" ;
    .

<http://experiment.worldcat.org/entity/work/data/993542#Person/grumberg_orna> # Orna Grumberg
    a schema:Person ;
    schema:familyName "Grumberg" ;
    schema:givenName "Orna" ;
    schema:name "Orna Grumberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/993542#Place/cambridge_mass> # Cambridge, Mass.
    a schema:Place ;
    schema:name "Cambridge, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/993542#Topic/computer_systems_verification> # Computer systems--Verification
    a schema:Intangible ;
    schema:name "Computer systems--Verification"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/993542#Topic/computersystemen> # Computersystemen
    a schema:Intangible ;
    schema:name "Computersystemen"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/993542#Topic/datenverarbeitungssystem> # Datenverarbeitungssystem
    a schema:Intangible ;
    schema:name "Datenverarbeitungssystem"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/993542#Topic/engenharia_de_software> # Engenharia de software
    a schema:Intangible ;
    schema:name "Engenharia de software"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/993542#Topic/logiciels_verification> # Logiciels--Vérification
    a schema:Intangible ;
    schema:name "Logiciels--Vérification"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/993542#Topic/verificacao_e_validacao_de_software> # Verificação e validação de software
    a schema:Intangible ;
    schema:name "Verificação e validação de software"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh2008002946> # Computer systems--Verification
    a schema:Intangible ;
    schema:name "Computer systems--Verification"@en ;
    .

<http://id.worldcat.org/fast/1750859> # Computer systems--Verification
    a schema:Intangible ;
    schema:name "Computer systems--Verification"@en ;
    .

<http://viaf.org/viaf/85346726> # Doron A. Peled
    a schema:Person ;
    schema:birthDate "1962" ;
    schema:familyName "Peled" ;
    schema:givenName "Doron A." ;
    schema:name "Doron A. Peled" ;
    .

<http://worldcat.org/isbn/9780262032704>
    a schema:ProductModel ;
    schema:isbn "0262032708" ;
    schema:isbn "9780262032704" ;
    .


Content-negotiable representations

關閉視窗

請登入WorldCat 

没有帳號嗎?你可很容易的 建立免費的帳號.