|
|
|
|
| LEADER |
02446nam a22005777a 4500 |
| 001 |
MUB01000534241 |
| 003 |
CZ BrMU |
| 005 |
20160613101754.0 |
| 008 |
071129s2007 gw ||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2017-03-06
|
| 020 |
|
|
|a 978-3-540-76648-3
|z 3540766480
|
| 040 |
|
|
|a BOD018
|b cze
|
| 080 |
|
|
|a 004.41
|2 MRF
|
| 080 |
|
|
|a (062.534)
|2 MRF
|
| 111 |
2 |
|
|a International Conference on Formal Engineering Methods
|n (9. :
|d 2007 :
|c Boca Raton, Florida)
|7 stk2008429143
|4 aut
|
| 245 |
1 |
0 |
|a Formal methods and software engineering :
|b 9th International Conference on Formal Engineering Methods, ICFEM 2007 : Boca Raton, FL, USA, November 14-15, 2007 : proceedings /
|c edited by Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie.
|
| 260 |
|
|
|a Berlin :
|b Springer,
|c c2007.
|
| 300 |
|
|
|a x, 386 s.
|
| 490 |
1 |
|
|a Lecture notes in computer science ;
|v 4789
|
| 650 |
0 |
7 |
|a softwarové inženýrství
|7 ph125825
|2 czenas
|
| 650 |
0 |
9 |
|a software engineering
|2 eczenas
|
| 655 |
|
7 |
|a sborníky konferencí
|7 fd133333
|2 czenas
|
| 700 |
1 |
|
|a Butler, Michael,
|d 1967-
|7 stk2007383358
|4 edt
|
| 700 |
1 |
|
|a Hinchey, Michael G.
|q (Michael Gerard),
|d 1969-
|7 xx0013234
|4 edt
|
| 700 |
1 |
|
|a Larrondo-Petrie, María M.
|7 stk2008428872
|4 edt
|
| 830 |
|
0 |
|a Lecture notes in computer science ;
|v 4789
|
| CAT |
|
|
|a KREKOVA
|b 02
|c 20071129
|l MUB01
|h 1049
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1814
|
| CAT |
|
|
|c 20080429
|l MUB01
|h 1828
|
| CAT |
|
|
|a KREKOVA
|b 02
|c 20090126
|l MUB01
|h 1240
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 0201
|
| CAT |
|
|
|c 20091203
|l MUB01
|h 1844
|
| CAT |
|
|
|c 20101015
|l MUB01
|h 2314
|
| CAT |
|
|
|c 20101016
|l MUB01
|h 0337
|
| CAT |
|
|
|a POSPEL
|b 02
|c 20111130
|l MUB01
|h 1328
|
| CAT |
|
|
|a batch
|b 00
|c 20120324
|l MUB01
|h 0108
|
| CAT |
|
|
|a PUTNOVAX
|b 02
|c 20120817
|l MUB01
|h 0904
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130303
|l MUB01
|h 0936
|
| CAT |
|
|
|c 20150404
|l MUB01
|h 0254
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151225
|l MUB01
|h 2310
|
| CAT |
|
|
|c 20160401
|l MUB01
|h 1235
|
| CAT |
|
|
|a VASICEKX
|b 02
|c 20160613
|l MUB01
|h 1017
|
| CAT |
|
|
|c 20170306
|l MUB01
|h 1038
|
| CAT |
|
|
|a JIRASKOVAX
|b 02
|c 20180410
|l MUB01
|h 2131
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 0928
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1917
|
| CAT |
|
|
|a BATCH
|b 00
|c 20210724
|l MUB01
|h 1131
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2017-03-06
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 K560.07
|5 4200513720
|8 20071129
|f 74
|f Měsíční
|r 20071129
|
| AVA |
|
|
|a INF50
|b FI
|d K560.07
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 0
|
