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


<http://www.worldcat.org/oclc/40675218>
library:oclcnum"40675218"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
rdf:typeschema:MediaObject
schema:about
schema:about
schema:about
schema:about
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:publication
schema:publisher
schema:workExample
umbel:isLike<http://bnb.data.bl.uk/id/resource/GB99V9765>
wdrs:describedby

Content-negotiable representations

Venster sluiten

Meld u aan bij WorldCat 

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