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:   book_printbook : 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: Book, Internet Resource
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


<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

Zavřít okno

Prosím přihlaste se do WorldCat 

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