Introduction to bisimulation and coinduction /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Sangiorgi, Davide, 1964- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cambridge : Cambridge University Press, 2011
Témata:
induktivní logika
matematika
modalita (logika)
inductive logic
mathematics
modality (logic)
monografie
monographs
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02194cam a22005657a 4500
001 MUB01000705278
003 CZ BrMU
005 20200109094629.0
008 120201s2011 xxk||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2020-04-01 
020 |a 978-1-107-00363-7 
040 |a BOD018  |b cze  |d BOD114 
072 7 |a 51  |x Matematika  |2 Konspekt  |9 13 
080 |a 161.26  |2 MRF 
080 |a 162.3  |2 MRF 
080 |a 51  |2 MRF 
100 1 |a Sangiorgi, Davide,  |d 1964-  |7 xx0041219  |4 aut 
245 1 0 |a Introduction to bisimulation and coinduction /  |c Davide Sangiorgi 
260 |a Cambridge :  |b Cambridge University Press,  |c 2011 
300 |a xii, 247 s. 
504 |a Obsahuje bibliografii a rejstřík 
650 0 7 |a induktivní logika  |7 ph207649  |2 czenas 
650 0 7 |a matematika  |7 ph117231  |2 czenas 
650 0 7 |a modalita (logika)  |7 ph294123  |2 czenas 
650 0 9 |a inductive logic  |2 eczenas 
650 0 9 |a mathematics  |2 eczenas 
650 0 9 |a modality (logic)  |2 eczenas 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 9 |a monographs  |2 eczenas 
CAT |a KOVAROVA  |b 02  |c 20120201  |l MUB01  |h 0919 
CAT |a KOZOVA  |b 02  |c 20120301  |l MUB01  |h 1624 
CAT |a KOZOVA  |b 02  |c 20120302  |l MUB01  |h 1127 
CAT |a KOZOVA  |b 02  |c 20120302  |l MUB01  |h 1146 
CAT |a REPISOVA  |b 02  |c 20120305  |l MUB01  |h 1216 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0155 
CAT |a BATCH  |b 00  |c 20130304  |l MUB01  |h 1354 
CAT |a VACOVAX  |b 02  |c 20130525  |l MUB01  |h 1014 
CAT |c 20150404  |l MUB01  |h 0704 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0228 
CAT |a HANAV  |b 02  |c 20170402  |l MUB01  |h 0027 
CAT |a VESELA  |b 02  |c 20200109  |l MUB01  |h 0946 
CAT |c 20200401  |l MUB01  |h 1256 
CAT |c 20210614  |l MUB01  |h 0957 
CAT |c 20210614  |l MUB01  |h 1946 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1211 
LOW |a POSLANO DO SKCR  |b 2020-04-01 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R569  |5 4200516795  |8 20120201  |f 77  |f Dlouhodobá  |g 2012-26  |r 20120302 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R569  |5 4200516846  |8 20120201  |f 74  |f Měsíční  |g 2012-27  |r 20120405 
AVA |a INF50  |b FI  |c sklad  |d R569  |e available  |t K dispozici  |f 2  |g 1  |h N  |i 5  |j SKLAD 

Podobné jednotky