|
|
|
|
| LEADER |
00000cam a2200000 i 4500 |
| 001 |
86509 |
| 003 |
CZ-ZlUTB |
| 005 |
20240829161751.0 |
| 007 |
ta |
| 008 |
100202s2010 xxka f f 001 0 eng d |
| 020 |
|
|
|a 9780521895569
|q (vázáno)
|
| 040 |
|
|
|a GyGoGBV
|b cze
|d ULD001
|d ZLD002
|e rda
|
| 072 |
|
7 |
|a 004
|x Počítačová věda. Výpočetní technika. Informační technologie
|2 Konspekt
|9 23
|
| 080 |
|
|
|a 004.94
|2 MRF
|
| 080 |
|
|
|a 004
|2 MRF
|
| 080 |
|
|
|a 004.41
|2 MRF
|
| 080 |
|
|
|a (035)
|2 MRF
|
| 100 |
1 |
|
|a Abrial, Jean-Raymond,
|d 1938-
|7 utb2017937761
|4 aut
|
| 245 |
1 |
0 |
|a Modeling in Event-B :
|b system and software engineering /
|c Jean-Raymond Abrial
|
| 264 |
|
1 |
|a Cambridge :
|b Cambridge University Press,
|c 2010
|
| 300 |
|
|
|a xxvi, 586 stran :
|b ilustrace ;
|c 26 cm
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a bez média
|b n
|2 rdamedia
|
| 338 |
|
|
|a svazek
|b nc
|2 rdacarrier
|
| 504 |
|
|
|a Obsahuje bibliografie a rejstřík
|
| 650 |
|
7 |
|a počítačové modelování
|7 ph124513
|2 czenas
|
| 650 |
|
7 |
|a počítačová věda
|7 ph124511
|2 czenas
|
| 650 |
|
7 |
|a softwarové inženýrství
|7 ph125825
|2 czenas
|
| 650 |
0 |
9 |
|a computer modeling
|2 eczenas
|
| 650 |
0 |
9 |
|a computer science
|2 eczenas
|
| 650 |
0 |
9 |
|a software engineering
|2 eczenas
|
| 655 |
|
7 |
|a příručky
|7 fd133209
|2 czenas
|
| 655 |
|
9 |
|a handbooks and manuals
|2 eczenas
|
| 910 |
|
|
|a ZLD002
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 004ABRIALJR
|7 0
|8 BOOK
|9 141445
|a UTBZL
|b UTBZL
|c 007
|d 2017-01-05
|l 1
|m 1
|o 004/ABRIAL,J.-R.
|p 420010168518
|q 2028-12-21
|r 2019-08-26 00:00:00
|v 2260.00
|w 2019-08-26
|x N:nákup;
|y 08
|
| 992 |
|
|
|a BK
|b SK
|d 1
|
| 999 |
|
|
|c 86509
|d 86509
|
