|
|
|
|
| LEADER |
01284nam a2200373 i 4500 |
| 001 |
NSK01000860839 |
| 003 |
HR-ZaNSK |
| 005 |
20210331094302.0 |
| 007 |
ta |
| 008 |
131106s2012 xxud 001 0 eng |
| 020 |
|
|
|a 9781107004979
|
| 035 |
|
|
|a (HR-ZaNSK)000860839
|
| 040 |
|
|
|a HR-ZaNSK
|b hrv
|c HR-ZaNSK
|e ppiak
|
| 080 |
1 |
|
|a 519.87
|2 2011
|
| 080 |
1 |
|
|a 510.8
|2 2011
|
| 080 |
1 |
|
|a 004.94
|2 2011
|
| 080 |
1 |
|
|a 164
|2 2011
|
| 245 |
0 |
0 |
|a Advanced topics in bisimulation and coinduction /
|c edited by Davide Sangiorgi, Jan Rutten.
|
| 250 |
|
|
|a 1st published.
|
| 260 |
|
|
|a New York :
|b Cambridge University Press,
|c 2012.
|
| 300 |
|
|
|a XIII, 326 str. :
|b graf. prikazi ;
|c 24 cm.
|
| 490 |
0 |
|
|a Cambridge tracts in theoretical computer science ;
|v 52
|
| 500 |
|
|
|a Puno ime 2. urednika: Johannes Josephus Martinus Matheus Rutten.
|
| 504 |
|
|
|a Bibliografija uz svaki rad.
|
| 504 |
|
|
|a Kazalo.
|
| 650 |
|
7 |
|a Bisimulacija
|2 nskps
|
| 650 |
|
7 |
|a Koindukcija (matematika)
|2 nskps
|
| 650 |
|
7 |
|a Modalna logika
|2 nskps
|
| 650 |
|
7 |
|a Indukcija (logika)
|2 nskps
|
| 650 |
|
7 |
|a Računalstvo
|2 nskps
|
| 700 |
1 |
|
|a Sangiorgi, Davide
|4 edt
|
| 700 |
1 |
|
|a Rutten, Johannes Josephus Martinus Matheus
|4 edt
|
| 760 |
1 |
8 |
|t Cambridge tracts in theoretical computer science
|g 52
|
| 998 |
|
|
|m vhok1402
|c mzoo160202
|
