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 3152121 obálek a 950676 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Applications of Formal Methods
Rok: 1995
ISBN: 9780133669497
OKCZID: 110055902
Citace (dle ČSN ISO 690):
HINCHEY, Michael Gerard, ed. a BOWEN, J. P., ed. Applications of formal methods. London: Prentice-Hall, c1995. xvi, 447 s. Prentice Hall International Series in Computer Sience.
Anotace
This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.