přejít na obsah
Model checking Náhled dokumentu
ZavřítNáhled dokumentu
Probíhá kontrola...

Model checking

Autor E M Clarke; Orna Grumberg; Doron A Peled
Vydavatel: Cambridge, Mass. : MIT Press, ©1999.
Vydání/formát:   Tištěná kniha : EnglishZobrazit všechny vydání a formáty
Databáze:WorldCat
Shrnutí:

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  Přečíst více...

Hodnocení:

(ještě nehodnoceno) 0 zobrazit recenze - Buďte první.

Předmětová hesla:
Více podobných

 

Najít online exemplář

Odkazy na tento dokument

Vyhledat exemplář v knihovně

&AllPage.SpinnerRetrieving; Vyhledávání knihoven, které vlastní tento dokument...

Detaily

Typ materiálu: Internetový zdroj
Typ dokumentu Kniha, Internetový zdroj
Všichni autoři/tvůrci: E M Clarke; Orna Grumberg; Doron A Peled
ISBN: 0262032708 9780262032704
OCLC číslo: 40675218
Popis: xiv, 314 pages : illustrations ; 24 cm
Obsahy: 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.
Odpovědnost: Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.

Recenze

Recenze redakce

Souhrn od vydavatele

" 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 Přečíst více...

 
Recenze vložené uživatelem
Nahrávání recenzí GoodReads...
Přebírání recenzí DOGO books...

Štítky

Buďte první.
Potvrdit tento požadavek

Tento dokument jste si již vyžádali. Prosím vyberte Ok pokud chcete přesto v žádance pokračovat.

Propojená data


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

Zavřít okno

Prosím přihlaste se do WorldCat 

Nemáte účet? Můžete si jednoduše vytvořit bezplatný účet.