Typed Lambda Calculi and Applications Pawel Urzyczyn
53,49 €
Titel: Typed Lambda Calculi and Applications, Untertitel: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings, Einband: Taschenbuch, Autor: Pawel Urzyczyn, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 452, Maße: 235x155x25 mm, Gewicht: 680 g, Verkäufer: buch-mimpf, Schlagworte: Analysis Calculus EDV / Theorie / Informatik / Mathematik Computational Logic Semantics Signatur algorithm algorithms formal method formal methods lambda calculus logic logical relations program semantics programming programming calculi programming theory type systems.
Jetzt bei Ebay:
