Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3160459 obálek a 951889 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Model checking
Autor: E. M. Clarke, Orna Grumberg, Doron Peled, Daniel Kroening, Helmut Veith
ISBN: 9780262038836
OKCZID: 128292504
Citace (dle ČSN ISO 690):
CLARKE, E. M. Model checking. Second edition. Cambridge, Massachusetts: MIT Press, [2018]. xx, 402 stran. The cyber-physical systems series.
Anotace
Buďte první a doplňte chybějící anotaci.