Advanced topics in bisimulation and coinduction /

Uloženo v:
Podrobná bibliografie
Další autoři: Sangiorgi, Davide, 1964- (Editor), Rutten, Jan (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cambridge : Cambridge University Press, 2011
Edice:Cambridge tracts in theoretical computer science ; 52
Témata:
induktivní logika
modální logika
počítačová věda
computer science
inductive logic
modal logic
kolektivní monografie
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02090cam a22005537a 4500
001 MUB01000705292
003 CZ BrMU
005 20170402002709.0
008 120201s2011 xxk||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2020-04-01 
020 |a 978-1-107-00497-9  |q (váz.) 
040 |a BOD018  |b cze  |d BOD114 
072 7 |a 16  |x Logika  |2 Konspekt  |9 5 
080 |a 162.3  |2 MRF 
080 |a 161.26  |2 MRF 
080 |a 004  |2 MRF 
080 |a 16  |2 MRF 
245 0 0 |a Advanced topics in bisimulation and coinduction /  |c edited by Davide Sangiorgi, Jan Rutten 
260 |a Cambridge :  |b Cambridge University Press,  |c 2011 
300 |a xiii, 326 s. 
490 1 |a Cambridge tracts in theoretical computer science ;  |v 52 
504 |a Obsahuje bibliografii a rejstřík 
650 0 7 |a induktivní logika  |7 ph207649  |2 czenas 
650 0 7 |a modální logika  |7 ph137160  |2 czenas 
650 0 7 |a počítačová věda  |7 ph124511  |2 czenas 
650 0 9 |a computer science  |2 eczenas 
650 0 9 |a inductive logic  |2 eczenas 
650 0 9 |a modal logic  |2 eczenas 
655 7 |a kolektivní monografie  |7 fd501537  |2 czenas 
700 1 |a Sangiorgi, Davide,  |d 1964-  |7 xx0041219  |4 edt 
700 1 |a Rutten, Jan  |4 edt 
830 0 |a Cambridge tracts in theoretical computer science ;  |v 52 
CAT |a KOVAROVA  |b 02  |c 20120201  |l MUB01  |h 0954 
CAT |a KOZOVA  |b 02  |c 20120302  |l MUB01  |h 1148 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0155 
CAT |c 20120610  |l MUB01  |h 2038 
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 |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  |3 R570  |5 4200516796  |8 20120201  |f 77  |f Dlouhodobá  |g 2012-28  |r 20120302 
AVA |a INF50  |b FI  |d R570  |e unavailable  |t Není k dispozici  |f 1  |g 1  |h N  |i 1  |k 0 

Podobné jednotky