Библиотека Математичког факултета Универзитета у Београду
Електронски каталог
powered by PMB
| Title : |
Handbook of model checking |
| Material Type: |
printed text |
| Authors: |
Edmund M. CLARKE |
| Publisher: |
Berlin [etc.] : Springer |
| Publication Date: |
2018 |
| Pagination: |
XXIV, 1210 str. |
| Size: |
24 cm |
| ISBN (or other code): |
978-3-319-10574-1 |
| Price: |
20.624,00 din. |
| General note: |
MF 18780 |
| Languages : |
English (eng) |
| Descriptors: |
Matematika
|
|  |
Hold
Place a hold on this item
Copies (1)
|
| 32.368 | 32.368 | $r non conforme -- | fond | fond | u fondu
Available |
