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 3150940 obálek a 950590 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science)
Rok: 1992
ISBN: 9780521420365
OKCZID: 110306473
Citace (dle ČSN ISO 690):
MANES, Ernest G. Predicate transformer semantics. Cambridge: Cambridge University Press, c1992. 223 s. Cambridge Tracts in Theoretical Computer Science, 33.
Anotace
This book presents a rigorous foundation for defining Boolean categories, in which the relationship between specification and behavior is explored. Boolean categories provide a rich interface between program constructs and techniques familiar from algebra, for instance matrix- or ideal-theoretic methods. The book's distinction is that the approach relies on a single program construct (the first-order theory of categories); others are derived mathematically from four axioms. Development of these axioms (which are obeyed by an abundance of program paradigms) yields Boolean algebras of "predicates" loop-free constructs, and a calculus of partial and total correctness, which is shown to be the standard one of Hoare, Dijkstra, Pratt, and Kozen.