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 3151651 obálek a 950616 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Abstraction, refinement and proof for probabilistic systems
Autor: Annabelle McIver, Carroll Morgan
ISBN: 9780387401157
OKCZID: 112382010
Citace (dle ČSN ISO 690):
MCIVER, Annabelle. Abstraction, refinement and proof for probabilistic systems. New York: Springer, c2005. xix, 383 s. Monographs in computer science.
Anotace
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics.
Zdroj anotace: OKCZ - ANOTACE Z WEBU