|
|
|
|
| LEADER |
00695nam a22002057a 4500 |
| 001 |
242426 |
| 008 |
930517s1993 xxe ||| |||| 00| 0 eng d |
| 009 |
PPN017117194 |
| 020 |
|
|
|a 0792393805
|
| 041 |
0 |
|
|a eng
|
| 082 |
|
|
|a 621.39/2
|
| 084 |
|
|
|a F.4
|
| 100 |
1 |
|
|a McMillan, Kenneth L.
|
| 245 |
1 |
0 |
|a Symbolic model checking
|c by Kenneth L. McMillan.
|
| 260 |
|
|
|a Boston :
|b Kluwer Academic,
|c cop. 1993.
|
| 300 |
|
|
|a 1 vol. (XV-194 p.) :
|b ill. ;
|c 28 cm.
|
| 504 |
|
|
|a Bibliogr. p. 183-190. Index
|
| 650 |
|
|
|a Ordinateurs
|x Circuits
|x Conception et construction
|
| 650 |
|
|
|a Structure logique
|
| 997 |
|
|
|0 242426
|1 Livre papier
|a Ressource papier
|b INSA
|c 0/Bourges/
|c 1/Bourges/INSA CVL/
|z Bourges, INSA CVL, 004.21 MCM
|
