Computer aided verification : 19th International Conference, CAV 2007 : Berlin, Germany , July 3-7, 2007 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: CAV (konference) Berlín, Německo) (Autor)
Další autoři: Damm, Werner (Editor), Hermanns, Holger, 1967- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2007.
Edice:Lecture notes in computer science ; 4590
Témata:
integrované obvody
software
integrated circuits
sborníky konferencí
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02378nam a22006137a 4500
001 MUB01000512862
003 CZ BrMU
005 20160927110235.0
008 061003s2007 gw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2014-04-16 
020 |a 978-3-540-73367-6  |z 3540733671 
040 |a BOD018  |b cze 
080 |a 004.4  |2 MRF 
080 |a 621.3.049.77  |2 MRF 
080 |a (062.534)  |2 MRF 
111 2 |a CAV (konference)  |n (19. :  |d 2007 :  |c Berlín, Německo)  |7 stk2007407195  |4 aut 
245 1 0 |a Computer aided verification :  |b 19th International Conference, CAV 2007 : Berlin, Germany , July 3-7, 2007 : proceedings /  |c edited by Werner Damm, Holger Hermanns. 
260 |a Berlin :  |b Springer,  |c c2007. 
300 |a xv, 562 s. 
490 1 |a Lecture notes in computer science ;  |v 4590 
650 0 7 |a integrované obvody  |7 ph114781  |2 czenas 
650 0 7 |a software  |7 ph125823  |2 czenas 
650 0 9 |a integrated circuits  |2 eczenas 
650 0 9 |a software  |2 eczenas 
655 7 |a sborníky konferencí  |7 fd133333  |2 czenas 
700 1 |a Damm, Werner  |7 xx0050260  |4 edt 
700 1 |a Hermanns, Holger,  |d 1967-  |7 xx0046430  |4 edt 
830 0 |a Lecture notes in computer science ;  |v 4590 
CAT |a KREKOVA  |b 02  |c 20070802  |l MUB01  |h 0945 
CAT |c 20080429  |l MUB01  |h 1813 
CAT |c 20080429  |l MUB01  |h 1828 
CAT |c 20091203  |l MUB01  |h 0153 
CAT |c 20091203  |l MUB01  |h 1836 
CAT |a PUTNOVAX  |b 02  |c 20100909  |l MUB01  |h 1424 
CAT |a PUTNOVAX  |b 02  |c 20100909  |l MUB01  |h 1425 
CAT |c 20101015  |l MUB01  |h 2309 
CAT |c 20101016  |l MUB01  |h 0332 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0103 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0912 
CAT |c 20140416  |l MUB01  |h 1204 
CAT |a PTICHAX  |b 02  |c 20140522  |l MUB01  |h 2133 
CAT |c 20150404  |l MUB01  |h 0237 
CAT |a BATCH  |b 00  |c 20151225  |l MUB01  |h 2251 
CAT |c 20160401  |l MUB01  |h 1235 
CAT |a VASICEKX  |b 02  |c 20160927  |l MUB01  |h 1102 
CAT |c 20210614  |l MUB01  |h 0925 
CAT |c 20210614  |l MUB01  |h 1915 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1127 
CAT |a BATCH-UPD  |b 00  |c 20220524  |l MUB01  |h 2356 
CAT |a BATCH-UPD  |b 00  |c 20250307  |l MUB01  |h 2352 
LOW |a POSLANO DO SKCR  |b 2014-04-16 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 K63.07  |5 4200513321  |8 20070802  |f 74  |f Měsíční  |r 20070802 
AVA |a INF50  |b FI  |d K63.07  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 1 

Podobné jednotky