Abstraction refinement for large scale model checking / Chao Wang, Gary D. Hachtel, Fabio Somenzi
Abstraction refinement for large scale model checking / Chao Wang, Gary D. Hachtel, Fabio Somenzi
Autor
Wang, Chao
Ostali autori
Nakladnik
New York [etc.] : Springer Science+Business Media, 2006
Materijalni opis
xiv, 179 str. : ilustr. ; 25 cm
Napomena
Bilješke o autorima.
 
Bibliografija: str.[157]-169.
 
Kazalo.
Klasifikacijska oznaka
93A30 Mathematical modeling (models of systems, model-matching, etc.)
 
93B51 Design techniques (robust design, computer-aided design, etc.)
 
68U07 Computer-aided design [See also 65D17]
Jezik
engleski
Standardni broj
ISBN 0-387-34155-2
 
ISBN 978-0-387-34155-2
 
ISBN 0-387-34600-7
 
ISBN 978-0-387-34600-7
Građa
Knjigaknjiga
Djelomični sadržaj online

WANG, Chao
Abstraction refinement for large scale model checking / Chao Wang, Gary D. Hachtel, Fabio Somenzi. - New York [etc.] : Springer Science+Business Media, 2006. - xiv, 179 str. : ilustr. ; 25 cm. - (Series on integrated circuits and systems)
Bilješke o autorima. - Bibliografija: str.[157]-169. - Kazalo.
ISBN 0-387-34155-2. - 978-0-387-34155-2. - 0-387-34600-7. - 978-0-387-34600-7


Katalog
  • Upute
Usluge
  • Moja iskaznica | Za članove
Knjige
Zaštićeno autorskim pravom ©1999.-2019. Knjižnice grada Zagreba i VIVaInfo d.o.o. Sva prava pridržana.