Tools and algorithms for the construction and analysis of systems : 12th International Conference, TACAS 2006, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 : Vienna, Austria, March 25-April 2, 2006 : proceedings /

Uloženo v:
Podrobná bibliografie
Korporace: TACAS (konference) Vídeň, Rakousko) (Autor), ETAPS (konference) (Autor)
Další autoři: Hermanns, Holger, 1967- (Editor), Palsberg, Jens, 1964- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c2006.
Edice:Lecture notes in computer science ; 3920
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02462cam a22005777a 4500
001 MUB01000451014
003 CZ BrMU
005 20230607102041.0
008 030414s2006 gw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2012-03-06 
020 |a 3-540-21299-X 
040 |a BOD018  |b cze  |d BOD114 
080 |a (063)  |2 MRF 
080 |a 004  |2 MRF 
111 2 |a TACAS (konference)  |n (12. :  |d 2006 :  |c Vídeň, Rakousko)  |7 xx0046431  |4 aut 
245 1 0 |a Tools and algorithms for the construction and analysis of systems :  |b 12th International Conference, TACAS 2006, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 : Vienna, Austria, March 25-April 2, 2006 : proceedings /  |c edited by Holger Hermanns, Jens Palsberg. 
260 |a Berlin :  |b Springer,  |c c2006. 
300 |a xvi, 506 s. 
490 1 |a Lecture notes in computer science ;  |v 3920 
700 1 |a Hermanns, Holger,  |d 1967-  |7 xx0046430  |4 edt 
700 1 |a Palsberg, Jens,  |d 1964-  |7 xx0046427  |4 edt 
711 2 |a ETAPS (konference)  |n (9. :  |d 2006 :  |c Vídeň, Rakousko)  |7 xx0045301  |4 aut 
830 0 |a Lecture notes in computer science ;  |v 3920 
CAT |a BISKUPOVA  |b 02  |c 20060403  |l MUB01  |h 1024 
CAT |a BISKUPOVA  |b 02  |c 20060403  |l MUB01  |h 1025 
CAT |c 20070427  |l MUB01  |h 2154 
CAT |a BATCH-UPD  |b 02  |c 20080319  |l MUB01  |h 0636 
CAT |c 20080429  |l MUB01  |h 1812 
CAT |c 20080429  |l MUB01  |h 1826 
CAT |c 20080602  |l MUB01  |h 1124 
CAT |c 20080604  |l MUB01  |h 0959 
CAT |c 20091203  |l MUB01  |h 0119 
CAT |c 20091203  |l MUB01  |h 1759 
CAT |c 20101015  |l MUB01  |h 2248 
CAT |c 20101016  |l MUB01  |h 0311 
CAT |a KOZOVA  |b 02  |c 20110503  |l MUB01  |h 1048 
CAT |a KOZOVAX  |b 02  |c 20110503  |l MUB01  |h 1124 
CAT |a HANAV  |b 02  |c 20120228  |l MUB01  |h 2303 
CAT |c 20120306  |l MUB01  |h 1320 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0722 
CAT |a PTICHAX  |b 02  |c 20140522  |l MUB01  |h 2133 
CAT |c 20150404  |l MUB01  |h 0025 
CAT |a BATCH  |b 00  |c 20151224  |l MUB01  |h 1101 
CAT |c 20160401  |l MUB01  |h 1233 
CAT |a BATCH-UPD  |b 00  |c 20160429  |l MUB01  |h 2352 
CAT |a BATCH-UPD  |b 00  |c 20210716  |l MUB01  |h 2351 
CAT |a VARTECKAX  |b 02  |c 20230607  |l MUB01  |h 1020 
LOW |a POSLANO DO SKCR  |b 2012-03-06 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 K59.06  |5 4200511826  |8 20060403  |f 74  |f Měsíční  |r 20060403 
AVA |a INF50  |b FI  |c sklad  |d K59.06  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j SKLAD 

Podobné jednotky