|
|
|
|
| LEADER |
00975nam a2200325 i 4500 |
| 001 |
NSK01000876818 |
| 003 |
HR-ZaNSK |
| 005 |
20210331094226.0 |
| 007 |
ta |
| 008 |
140429s2012 xxud 001 0 eng |
| 020 |
|
|
|a 9781107003637
|
| 035 |
|
|
|a (HR-ZaNSK)000876818
|
| 040 |
|
|
|a HR-ZaNSK
|b hrv
|c HR-ZaNSK
|e ppiak
|
| 080 |
1 |
|
|a 510.6
|2 2011
|
| 080 |
1 |
|
|a 510.8
|2 2011
|
| 080 |
1 |
|
|a 519.87
|2 2011
|
| 080 |
1 |
|
|a 004.94
|2 2011
|
| 100 |
1 |
|
|a Sangiorgi, Davide
|
| 245 |
1 |
0 |
|a Introduction to bisimulation and coinduction /
|c Davide Sangiorgi.
|
| 250 |
|
|
|a 1st published.
|
| 260 |
|
|
|a New York :
|b Cambridge University Press,
|c 2012.
|
| 300 |
|
|
|a XII, 247 str. :
|b graf. prikazi ;
|c 26 cm.
|
| 504 |
|
|
|a Bibliografija: str. 235-243.
|
| 504 |
|
|
|a Kazalo.
|
| 650 |
|
7 |
|a Bisimulacija
|2 nskps
|
| 650 |
|
7 |
|a Koindukcija (matematika)
|2 nskps
|
| 650 |
|
7 |
|a Indukcija (matematika)
|2 nskps
|
| 650 |
|
7 |
|a Modalna logika
|2 nskps
|
| 650 |
|
7 |
|a Računalstvo
|2 nskps
|
| 998 |
|
|
|m vhok1405
|c mzoo160318
|
