| 000 | 00796nam a2200265Ia 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20230405102802.0 | ||
| 008 | 180620b2008 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9781586038434 | ||
| 040 | _cJUIT, Solan | ||
| 082 | _a005.8 GRU | ||
| 100 | _aGrumberg, Orna | ||
| 245 |
_aFormal Logical Methods for System Security and Correctness _cEdited by Orna Grumberg |
||
| 260 |
_aAmsterdam _bIOS Press _c2008 |
||
| 300 | _aix, 319p. | ||
| 505 | _a<p>Table of Contents:</p> <p>1.Compila | ||
| 650 | _aSystem security | ||
| 650 | _aFormal logical methods | ||
| 650 | _aComputer logic - Congresses | ||
| 650 | _aComputer security -- congresses | ||
| 700 | _aPfaller, Christian | ||
| 700 | _aNipkow, Tobias | ||
| 906 | _a33ebdd3ba9fe5f782f9972433a7c1094 | ||
| 942 |
_2ddc _cRB |
||
| 999 |
_c28302 _d28302 |
||