Validation of communications systems with SDL : the art of SDL simulation and reachability analysis /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Doldi, Laurent (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Chichester : John Wiley & Sons, c2003.
Témata:
LEADER 01748nam a22004577a 4500
001 MUB01000548094
003 CZ BrMU
005 20110603141042.0
008 080428s2003 xxk||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2017-05-09 
020 |a 0-470-85286-0 
040 |a BOD018  |b cze 
080 |a 621.396  |2 MRF 
080 |a 621.39-026.26  |2 MRF 
100 1 |a Doldi, Laurent  |4 aut 
245 1 0 |a Validation of communications systems with SDL :  |b the art of SDL simulation and reachability analysis /  |c Laurent Doldi. 
260 |a Chichester :  |b John Wiley & Sons,  |c c2003. 
300 |a x, 296 s. 
650 0 7 |a bezdrátové komunikační technologie  |7 ph307649  |2 czenas 
650 0 7 |a mobilní komunikační systémy  |7 ph168761  |2 czenas 
650 0 9 |a mobile communication systems  |2 eczenas 
650 0 9 |a wireless communication technology  |2 eczenas 
CAT |a KOVAROVA  |b 02  |c 20080428  |l MUB01  |h 1429 
CAT |c 20080429  |l MUB01  |h 1814 
CAT |c 20080429  |l MUB01  |h 1829 
CAT |a KREKOVA  |b 02  |c 20080612  |l MUB01  |h 1206 
CAT |c 20091203  |l MUB01  |h 0210 
CAT |c 20091203  |l MUB01  |h 1852 
CAT |a BATCH-UPD  |b 00  |c 20100501  |l MUB01  |h 1152 
CAT |a PUTNOVAX  |b 02  |c 20110603  |l MUB01  |h 1410 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0113 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 1000 
CAT |c 20150404  |l MUB01  |h 0313 
CAT |a BATCH  |b 00  |c 20151225  |l MUB01  |h 2328 
CAT |c 20170509  |l MUB01  |h 0935 
CAT |c 20210614  |l MUB01  |h 0931 
CAT |c 20210614  |l MUB01  |h 1920 
LOW |a POSLANO DO SKCR  |b 2017-05-09 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 J123  |5 4200514279  |8 20080428  |f 77  |f Dlouhodobá  |g 2008-64  |r 20080612 
AVA |a INF50  |b FI  |d J123  |e unavailable  |t Není k dispozici  |f 1  |g 1  |h N  |i 0  |k 0