Pregledni zapisi
Tražili ste autor: Wang, Chao
1
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
Wang, Chao  
New York [etc.] : Springer Science+Business Media, 2006
e izvori
Katalog
  • Upute
Usluge
  • Moja iskaznica | Za članove
Knjige
Zaštićeno autorskim pravom ©1999.-2020. Knjižnice grada Zagreba i VIVaInfo d.o.o. Sva prava pridržana.