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 3298954 obálek a 1000196 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Relational verification of programs with integer data :monograph
Autor: Radu Iosif
Rok: 2012
ISBN: 9788021446540
NKP-CNB: cnb002438024
OCLC Number: (OCoLC)842343698
OKCZID: 111960825
Vydání: Vyd. 1.
Půjčte si tento titul v knihovně přes portál Knihovny.cz
Citace (dle ČSN ISO 690):
RADU, Iosif, Filip KONEČNÝ a Tomáš VOJNAR. Relational verification of programs with integer data: monograph. Vyd. 1. Brno: Faculty of Information Technology, Brno University of Technology, 2012, 166 s. ISBN 978-80-214-4654-0.
Anotace
Buďte první a doplňte chybějící anotaci.