|
|
|
|
| LEADER |
02365nam a22005777a 4500 |
| 001 |
MUB01000546875 |
| 003 |
CZ BrMU |
| 005 |
20080602154754.0 |
| 008 |
080411s2008 gw ||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2017-05-09
|
| 020 |
|
|
|a 978-3-540-77425-9
|
| 020 |
|
|
|a 978-3-540-77426-6
|q (e-ISBN)
|
| 040 |
|
|
|a BOD018
|b cze
|
| 080 |
|
|
|a 004
|2 MRF
|
| 080 |
|
|
|a 004.03
|2 MRF
|
| 100 |
1 |
|
|a Esparza, Javier,
|d 1964-
|7 jx20051201005
|4 aut
|
| 245 |
1 |
0 |
|a Unfoldings :
|b a partial-order approach to model checking /
|c Javier Esparza, Keijo Heljanko.
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c c2008.
|
| 300 |
|
|
|a xii, 169 s.
|
| 490 |
1 |
|
|a Monographs in theoretical computer science
|
| 650 |
0 |
7 |
|a počítačová věda
|7 ph124511
|2 czenas
|
| 650 |
0 |
7 |
|a počítačové systémy
|7 ph115866
|2 czenas
|
| 650 |
0 |
9 |
|a computer science
|2 eczenas
|
| 650 |
0 |
9 |
|a computer systems
|2 eczenas
|
| 700 |
1 |
|
|a Heljanko, Keijo
|4 aut
|
| 830 |
|
0 |
|a Monographs in theoretical computer science
|
| CAT |
|
|
|a KOVAROVA
|b 02
|c 20080411
|l MUB01
|h 1305
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1814
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1829
|
| CAT |
|
|
|a KREKOVA
|b 02
|c 20080602
|l MUB01
|h 1547
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 0209
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1852
|
| CAT |
|
|
|a BATCH-UPD
|b 00
|c 20100501
|l MUB01
|h 1151
|
| CAT |
|
|
|c 20101015
|l MUB01
|h 2319
|
| CAT |
|
|
|c 20101016
|l MUB01
|h 0343
|
| CAT |
|
|
|a SIMCIKOVAX
|b 02
|c 20111015
|l MUB01
|h 1434
|
| CAT |
|
|
|a batch
|b 00
|c 20120324
|l MUB01
|h 0113
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0958
|
| CAT |
|
|
|c 20150404
|l MUB01
|h 0311
|
| CAT |
|
|
|a VACOVAX
|b 02
|c 20151012
|l MUB01
|h 1025
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151225
|l MUB01
|h 2327
|
| CAT |
|
|
|c 20170509
|l MUB01
|h 0934
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 0931
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1920
|
| CAT |
|
|
|a POSPEL
|b 02
|c 20251025
|l MUB01
|h 1820
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2017-05-09
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 U249 - skříň
|5 4200514213
|8 20080411
|f 74
|f Měsíční
|g 2008-49
|r 20080602
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 U249 - skříň
|5 4200514214
|8 20080411
|f 74
|f Měsíční
|g 2008-49
|r 20080602
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 U249
|5 4200514216
|8 20080414
|f 74
|f Měsíční
|g 2008-51
|r 20080602
|
| AVA |
|
|
|a INF50
|b FI
|c sklad
|d U249
|e available
|t K dispozici
|f 3
|g 0
|h N
|i 2
|j SKLAD
|
