SAT-based scalable formal verification solutions /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Ganai, Malay (Autor), Gupta, Aarti (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: New York : Springer, c2007
Edice:Series on integrated circuits and systems
Témata:
integrované obvody
integrated circuits
monografie
monographs
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02162nam a22005537a 4500
001 MUB01000607935
003 CZ BrMU
005 20220531113050.0
008 091202s2007 xxu||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2019-04-17 
020 |a 978-0-387-69166-4  |z 0387691669 
020 |a 978-0-387-69167-1  |q (e-ISBN)  |z 0387691677  |q (e-ISBN) 
040 |a BOD018  |b cze 
072 7 |a 621  |x Strojírenství  |2 Konspekt  |9 19 
080 |a 621.3.049.77  |2 MRF 
100 1 |a Ganai, Malay  |4 aut 
245 1 0 |a SAT-based scalable formal verification solutions /  |c Malay Ganai, Aarti Gupta 
260 |a New York :  |b Springer,  |c c2007 
300 |a xvii, 326 s. :  |b il. 
490 1 |a Series on integrated circuits and systems 
650 0 7 |a integrované obvody  |7 ph114781  |2 czenas 
650 0 9 |a integrated circuits  |2 eczenas 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 9 |a monographs  |2 eczenas 
700 1 |a Gupta, Aarti  |4 aut 
830 0 |a Series on integrated circuits and systems 
CAT |a KOVAROVA  |b 02  |c 20091202  |l MUB01  |h 1027 
CAT |c 20091203  |l MUB01  |h 1925 
CAT |a KOZOVA  |b 02  |c 20091209  |l MUB01  |h 1235 
CAT |a BATCH-UPD  |b 02  |c 20100501  |l MUB01  |h 1226 
CAT |c 20101015  |l MUB01  |h 2336 
CAT |c 20101016  |l MUB01  |h 0407 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0133 
CAT |a BATCH  |b 00  |c 20130304  |l MUB01  |h 1010 
CAT |c 20150404  |l MUB01  |h 0432 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0044 
CAT |a VESELA  |b 02  |c 20171011  |l MUB01  |h 1347 
CAT |a REPISOVA  |b 02  |c 20171026  |l MUB01  |h 1012 
CAT |c 20190417  |l MUB01  |h 0934 
CAT |a PUTNOVAX  |b 02  |c 20190703  |l MUB01  |h 1427 
CAT |c 20210614  |l MUB01  |h 0943 
CAT |c 20210614  |l MUB01  |h 1932 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1152 
CAT |a FUKSOVAX  |b 02  |c 20220531  |l MUB01  |h 1130 
LOW |a POSLANO DO SKCR  |b 2019-04-17 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 R24  |5 4200515646  |8 20091202  |f 74  |f Měsíční  |g 2009-294  |r 20091209 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 R24  |5 4200518384  |8 20170906  |f 74  |f Měsíční  |g 2017-103  |r 20171011 
AVA |a INF50  |b FI  |d R24  |e available  |t K dispozici  |f 2  |g 0  |h N  |i 3  |k 0 

Podobné jednotky