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 2895566 obálek a 875351 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.

Registrovat »    Zapomenuté heslo?

Lambda Calculi: A Guide for Computer Scientists (Graduate Texts in Computer Science)

Rok: 1995
ISBN: 9780198538417
OKCZID: 110710951

Citace (dle ČSN ISO 690):
HANKIN, Chris. Lambda calculi: a guide for computer scientists. Oxford: Clarendon Press, c1994. xiii, 162 s. Graduate texts in computer science.


Anotace

Upravit anotaci
 

This is a textbook for final year undergraduates/first year graduates in computer science, as well as a useful introduction for research students seeking a solid introduction to more specialist literature. This text emphasises the role of calculus in programming language design and implementation, denotational semantics, and domain theory. Alternative books on the subject have been written by logicians, but this is the first to have been written from a computer science prespective, invaluable in emphasising the practical relevance of the key theortical ideas.


Dostupné zdroje

Amazon


Přidat komentář a hodnocení

Od: (127.0.0...)