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

Model checking

作者: E M Clarke; Orna Grumberg; Doron A Peled
出版商: Cambridge, Mass. : MIT Press, ©1999.
版本/格式:   打印圖書 : 英語所有版本和格式的總覽
資料庫: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://viaf.org/viaf/8050749> ; # 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/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/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/8050749> # E. M. Clarke
    a schema:Person ;
   schema:birthDate "1945" ;
   schema:familyName "Clarke" ;
   schema:givenName "E. M." ;
   schema:name "E. M. Clarke" ;
    .

<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 

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