Computer aided verification : 17th International Conference, CAV 2005 : Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporativní autor: CAV (konference) Edinburgh, Skotsko) (Autor)
Další autoři: Etessami, Kousha (Editor), Rajamani, Sriram K., 1970- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2005.
Edice:Lecture notes in computer science ; 3576
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02154cam a22005417a 4500
001 MUB01000408675
003 CZ BrMU
005 20160927110334.0
008 020812s2005 gw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2011-03-31 
020 |a 3-540-27231-3 
040 |a BOD018  |b cze  |d BOD018  |d BOD031 
080 |a 004  |2 MRF 
080 |a 082.2  |2 MRF 
111 2 |a CAV (konference)  |n (17. :  |d 2005 :  |c Edinburgh, Skotsko)  |7 xx0038527  |4 aut 
245 1 0 |a Computer aided verification :  |b 17th International Conference, CAV 2005 : Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings /  |c edited by Kousha Etessami, Sriram K. Rajamani. 
260 |a Berlin :  |b Springer,  |c c2005. 
300 |a xv, 564 s. 
490 1 |a Lecture notes in computer science ;  |v 3576 
700 1 |a Etessami, Kousha  |7 xx0038526  |4 edt 
700 1 |a Rajamani, Sriram K.,  |d 1970-  |7 xx0010838  |4 edt 
830 0 |a Lecture notes in computer science ;  |v 3576 
CAT |a BISKUPOVA  |b 02  |c 20050707  |l MUB01  |h 1333 
CAT |c 20070427  |l MUB01  |h 2149 
CAT |a BATCH-UPD  |b 02  |c 20080319  |l MUB01  |h 0635 
CAT |c 20080429  |l MUB01  |h 1811 
CAT |c 20080429  |l MUB01  |h 1825 
CAT |c 20080602  |l MUB01  |h 1123 
CAT |c 20080604  |l MUB01  |h 0958 
CAT |c 20091203  |l MUB01  |h 0102 
CAT |c 20091203  |l MUB01  |h 1741 
CAT |c 20101015  |l MUB01  |h 2240 
CAT |c 20101016  |l MUB01  |h 0257 
CAT |a SIMCIKOVA  |b 02  |c 20110228  |l MUB01  |h 1343 
CAT |c 20110331  |l MUB01  |h 1036 
CAT |a SIMCIKOVAX  |b 02  |c 20111025  |l MUB01  |h 1801 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0622 
CAT |a SIMCIKOVAX  |b 02  |c 20130515  |l MUB01  |h 1633 
CAT |c 20150403  |l MUB01  |h 2322 
CAT |a BATCH  |b 00  |c 20151224  |l MUB01  |h 1017 
CAT |c 20160401  |l MUB01  |h 1233 
CAT |a VASICEKX  |b 02  |c 20160927  |l MUB01  |h 1103 
CAT |a BATCH-UPD  |b 02  |c 20220524  |l MUB01  |h 2355 
CAT |a BATCH-UPD  |b 02  |c 20250307  |l MUB01  |h 2352 
LOW |a POSLANO DO SKCR  |b 2011-03-31 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 K63.05  |5 4200510998  |8 20050707  |f 74  |f Měsíční  |r 20050707 
AVA |a INF50  |b FI  |c sklad  |d K63.05  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j SKLAD 

Podobné jednotky