|
|
|
|
| LEADER |
00861cam a2200229 a 4500 |
| 005 |
20160322165154.0 |
| 008 |
070911s2008 maua b 001 0 eng |
| 020 |
|
|
|a 9780262026499 (hardcover : alk. paper)
|
| 020 |
|
|
|a 026202649X (hardcover : alk. paper)
|
| 041 |
|
|
|a eng
|
| 082 |
0 |
0 |
|a 51
|b BAI
|
| 100 |
1 |
|
|a Baier, Christel.
|9 458
|
| 245 |
1 |
0 |
|a Principles of model checking /
|c Christel Baier, Joost-Pieter Katoen.
|
| 260 |
|
|
|a Cambridge, Mass. :
|b The MIT Press,
|c [2012
|
| 300 |
|
|
|a xvii, 975 p. :
|
| 650 |
|
0 |
|a Computer systems
|x Verification.
|9 459
|
| 650 |
|
0 |
|a Computer software
|x Verification.
|9 125
|
| 700 |
1 |
|
|a Katoen, Joost-Pieter.
|9 460
|
| 856 |
4 |
1 |
|u http://www.loc.gov/catdir/toc/ecip0727/2007037603.html
|
| 942 |
|
|
|c BK
|6 _
|
| 999 |
|
|
|c 155511
|d 155511
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 51_BAI
|7 0
|9 203423
|a DCS
|b DCS
|c GEN
|d 2013-10-17
|o 51 BAI
|p MCS05105
|r 2013-10-17
|w 2013-10-17
|y BK
|