Handbook of model checking / Edmund M. CLARKE

Public ISBD 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 Handbook of model checking [printed text] / Edmund M. CLARKE . - Berlin [etc.] : Springer, 2018 . - XXIV, 1210 str. ; 24 cm. ISBN : 978-3-319-10574-1 : 20.624,00 din. MF 18780 Languages : English (eng) Descriptors: Matematika

Hold

Place a hold on this item

Copies (1)

Barcode	Call number	Media type	Location	Section	Status
32.368	32.368	$r non conforme --	fond	fond	u fondu Available

---

1 (1 - 1 / 1)