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:   Boek : 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 in de bibliotheek beschikbaar exemplaar

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

Details

Soort document: Boek
Alle auteurs / medewerkers: E M Clarke; Orna Grumberg; Doron A Peled
ISBN: 0262032708 9780262032704
OCLC-nummer: 40675218
Beschrijving: xiv, 314 p. : ill. ; 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


<http://www.worldcat.org/oclc/40675218>
library:oclcnum"40675218"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/40675218>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
<http://id.worldcat.org/fast/1750859>
rdf:typeschema:Intangible
schema:name"Computer systems--Verification"@en
schema:name"Computer systems--Verification."@en
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:copyrightYear"1999"
schema:creator
schema:datePublished"1999"
schema:exampleOfWork<http://worldcat.org/entity/work/id/993542>
schema:inLanguage"en"
schema:name"Model checking"@en
schema:numberOfPages"314"
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

Venster sluiten

Meld u aan bij WorldCat 

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