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.
Mathematical Theory of Computation (Mcgraw-Hill Computer Science Series)
Rok: 1974
ISBN: 9780070399105
OKCZID: 110321332
Citace (dle ČSN ISO 690):
MANNA, Zohar. Mathematical theory of computation. New York: McGraw-Hill, 1974. x, 448 s. McGraw-Hill computer science series, McGraw-Hill computer science series K1.
Anotace
With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects. Subjects include computability (with discussions of finite automata and Turing machines); predicate calculus; verification of programs (bloth flowchart and algol-like programs); flowchart schemas; and the fixpoint theory of programs. 1974 edition. Includes 77 figures.
Zdroj anotace: OKCZ - ANOTACE Z WEBU
