|
|
|
|
| LEADER |
01793cam a22004697a 4500 |
| 001 |
MUB01000722728 |
| 003 |
CZ BrMU |
| 005 |
20200109120434.0 |
| 008 |
120710s2010 xxk||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2020-05-07
|
| 020 |
|
|
|a 978-0-521-19746-5
|q (hbk.)
|
| 020 |
|
|
|a 978-0-521-14709-5
|q (pbk.)
|
| 040 |
|
|
|a BOD018
|b cze
|d BOD114
|
| 072 |
|
7 |
|a 004.4/.6
|x Programování. Software
|2 Konspekt
|9 23
|
| 080 |
|
|
|a 004.43
|2 MRF
|
| 080 |
|
|
|a 81'37-116
|2 MRF
|
| 100 |
1 |
|
|a Hüttel, Hans
|7 vut2011651856
|4 aut
|
| 245 |
1 |
0 |
|a Transitions and trees :
|b an introduction to structural operational semantics /
|c Hans Hüttel
|
| 260 |
|
|
|a Cambridge :
|b Cambridge University Press,
|c 2010
|
| 300 |
|
|
|a xvii, 272 s. :
|b il.
|
| 504 |
|
|
|a Obsahuje bibliografii a rejstřík
|
| 650 |
0 |
7 |
|a programovací jazyky
|7 ph115890
|2 czenas
|
| 650 |
0 |
7 |
|a strukturní sémantika
|7 ph241946
|2 czenas
|
| 650 |
0 |
9 |
|a programming languages
|2 eczenas
|
| 650 |
0 |
9 |
|a structural semantics
|2 eczenas
|
| 655 |
|
7 |
|a monografie
|7 fd132842
|2 czenas
|
| 655 |
|
9 |
|a monographs
|2 eczenas
|
| CAT |
|
|
|a KOVAROVA
|b 02
|c 20120710
|l MUB01
|h 1118
|
| CAT |
|
|
|a KOZOVA
|b 02
|c 20120726
|l MUB01
|h 1414
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130304
|l MUB01
|h 1435
|
| CAT |
|
|
|c 20150404
|l MUB01
|h 0722
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151226
|l MUB01
|h 0246
|
| CAT |
|
|
|a HANAV
|b 02
|c 20170405
|l MUB01
|h 2132
|
| CAT |
|
|
|a VESELA
|b 02
|c 20200109
|l MUB01
|h 1204
|
| CAT |
|
|
|c 20200507
|l MUB01
|h 1115
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 0959
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1948
|
| CAT |
|
|
|a BATCH
|b 00
|c 20210724
|l MUB01
|h 1215
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2020-05-07
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|3 R577
|5 4200516963
|8 20120710
|f 74
|f Měsíční
|g 2012-183
|r 20120726
|
| AVA |
|
|
|a INF50
|b FI
|d R577
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 1
|k 0
|
