|
|
|
|
| LEADER |
01730cam a22004457a 4500 |
| 001 |
MUB01000157004 |
| 003 |
CZ BrMU |
| 005 |
20140612145022.0 |
| 008 |
040105s2004 xxu||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2009-06-22
|
| 020 |
|
|
|a 0-321-22862-6
|
| 040 |
|
|
|a BOD018
|b cze
|d BOD018
|
| 080 |
|
|
|a 004
|% FI
|
| 100 |
1 |
|
|a Holzmann, Gerald J.,
|d 1951-
|7 mub2013794275
|4 aut
|
| 245 |
1 |
4 |
|a The spin model checker :
|b primer and reference manual /
|c Gerard J. Holzmann
|
| 260 |
|
|
|a Boston :
|b Addison-Wesley,
|c c2004
|
| 300 |
|
|
|a xii, 596 s.
|
| CAT |
|
|
|a CONF-FI
|b 02
|c 20040327
|l MUB01
|h 1747
|
| CAT |
|
|
|a CONV-M04
|b 02
|c 20040919
|l MUB01
|h 1743
|
| CAT |
|
|
|c 20050122
|l MUB01
|h 1223
|
| CAT |
|
|
|a CONV-653
|b 02
|c 20050213
|l MUB01
|h 2123
|
| CAT |
|
|
|c 20070427
|l MUB01
|h 2115
|
| CAT |
|
|
|a BATCH-UPD
|b 02
|c 20080319
|l MUB01
|h 0634
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1804
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1819
|
| CAT |
|
|
|c 20080602
|l MUB01
|h 1117
|
| CAT |
|
|
|c 20080604
|l MUB01
|h 0952
|
| CAT |
|
|
|c 20090622
|l MUB01
|h 0749
|
| CAT |
|
|
|c 20091202
|l MUB01
|h 2156
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1433
|
| CAT |
|
|
|a BATCH-UPD
|b 00
|c 20100501
|l MUB01
|h 0727
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130301
|l MUB01
|h 1712
|
| CAT |
|
|
|a HONIGOVAX
|b 02
|c 20140612
|l MUB01
|h 1450
|
| CAT |
|
|
|c 20150403
|l MUB01
|h 1952
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151224
|l MUB01
|h 0502
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2009-06-22
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 R4 - skříň
|5 4200509576
|8 20040328
|f 74
|f Měsíční
|r 00000001
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 R4
|5 4200509432
|8 20040328
|f 74
|f Měsíční
|r 00000001
|
| AVA |
|
|
|a INF50
|b FI
|c sklad
|d R4 - skříň
|e available
|t K dispozici
|f 2
|g 0
|h N
|i 11
|j SKLAD
|