Tražili ste katalog: bez unosa Suzili ste nakladnik: Springer Science+Business Media poništi sužavanje autor: Somenzi, Fabio poništi sužavanje 
Status
Autor
Somenzi, Fabio(2)
Građa
Godina
2006(2)
Jezik
Nakladnik
Springer Science+Business Media(2)
2 rezultata
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
2
Logic synthesis and algorithms / by Gary D. Hachtel, Fabio Somenzi
Logic synthesis and algorithms / by Gary D. Hachtel, Fabio Somenzi
Hachtel, Gary D.  
New York [etc.] : Springer Science+Business Media, 2006
Knjiga Knjiga
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.