8th School on MOdeling and VErifying of parallel Processes : proceedings of the summer school, MOVEP´08, Orléans, France, June 23-27, 2008 /

Uloženo v:
Podrobná bibliografie
Korporativní autor: MOVEP Orléans, Francie) (Autor)
Další autoři: Couvreur, Jean-Michel (Editor), Jéron, Thierry (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Olivet : Corbet, 2008
Témata:
Obálka
LEADER 01965nam a22004937a 4500
001 MUB01000594994
003 CZ BrMU
005 20160704064431.0
008 090825s2008 fr ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2018-12-10 
040 |a BOD018  |b cze 
080 |a 004.4  |2 MRF 
080 |a 004.415.53  |2 MRF 
080 |a (062.534)  |2 MRF 
111 2 |a MOVEP  |n (8. :  |d 2008 :  |c Orléans, Francie)  |4 aut 
245 1 0 |a 8th School on MOdeling and VErifying of parallel Processes :  |b proceedings of the summer school, MOVEP´08, Orléans, France, June 23-27, 2008 /  |c edited by Jean-Michel Couvreur, Thierry Jéron 
246 1 1 |a 8éme Ecole Modélisation et Verification des processus Paralléles :  |b actes de l´école d´été 
260 |a Olivet :  |b Corbet,  |c 2008 
300 |a 384 s. :  |b il. 
650 0 7 |a software  |7 ph125823  |2 czenas 
650 0 7 |a testování softwaru  |7 ph173828  |2 czenas 
650 0 9 |a software testing  |2 eczenas 
650 0 9 |a software  |2 eczenas 
655 7 |a sborníky konferencí  |7 fd133333  |2 czenas 
700 1 |a Couvreur, Jean-Michel  |4 edt 
700 1 |a Jéron, Thierry  |4 edt 
CAT |a KOZOVA  |b 02  |c 20090825  |l MUB01  |h 1208 
CAT |a KOZOVA  |b 02  |c 20090902  |l MUB01  |h 1022 
CAT |c 20091203  |l MUB01  |h 0236 
CAT |c 20091203  |l MUB01  |h 1918 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0129 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 1120 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0030 
CAT |c 20160401  |l MUB01  |h 1236 
CAT |a VARTECKAX  |b 02  |c 20160408  |l MUB01  |h 1117 
CAT |a VARTECKAX  |b 02  |c 20160704  |l MUB01  |h 0644 
CAT |c 20181210  |l MUB01  |h 1133 
CAT |c 20210614  |l MUB01  |h 0940 
CAT |c 20210614  |l MUB01  |h 1929 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1148 
LOW |a POSLANO DO SKCR  |b 2018-12-10 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 K434.08  |5 4200515379  |8 20090825  |f 74  |f Měsíční  |r 20090825  |s dar 
AVA |a INF50  |b FI  |d K434.08  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0