doorgaan naar inhoud
Model checking Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

Model checking

Auteur: E M Clarke; Orna Grumberg; Doron A Peled
Uitgever: Cambridge, Mass. : MIT Press, ©1999.
Editie/Formaat:   Print book : EngelsAlle edities en materiaalsoorten bekijken.
Database:WorldCat
Samenvatting:

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  Meer lezen...

Beoordeling:

(nog niet beoordeeld) 0 met beoordelingen - U bent de eerste

Onderwerpen
Meer in deze trant

 

Zoeken naar een online exemplaar

Links naar dit item

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Genre: Internetbron
Soort document: Boek, Internetbron
Alle auteurs / medewerkers: E M Clarke; Orna Grumberg; Doron A Peled
ISBN: 0262032708 9780262032704
OCLC-nummer: 40675218
Beschrijving: xiv, 314 pages : illustrations ; 24 cm
Inhoud: 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.
Verantwoordelijkheid: Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.

Beoordelingen

Professionele beoordelingen

Synopsis uitgever

" 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 Meer lezen...

 
Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.
Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde 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://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

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.