Hankin,
e druk, 1994
9780198538400
Lambda Calculi
A Guide for Computer Scientists
Specificaties
Paperback, 176 blz.
|
Engels
|
e druk, 1994
ISBN13: 9780198538400
Rubricering
Juridisch
:
Onderdeel van serie
Graduate Texts in Computer Science
Levertijd ongeveer 11 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9780198538400
Taal:Engels
Bindwijze:Paperback
Aantal pagina's:176
Hoofdrubriek:Programmeren, Computer en informatica
Net verschenen
Rubrieken
- aanbestedingsrecht
- aansprakelijkheids- en verzekeringsrecht
- accountancy
- algemeen juridisch
- arbeidsrecht
- bank- en effectenrecht
- bestuursrecht
- bouwrecht
- burgerlijk recht en procesrecht
- europees-internationaal recht
- fiscaal recht
- gezondheidsrecht
- insolventierecht
- intellectuele eigendom en ict-recht
- management
- mens en maatschappij
- milieu- en omgevingsrecht
- notarieel recht
- ondernemingsrecht
- pensioenrecht
- personen- en familierecht
- sociale zekerheidsrecht
- staatsrecht
- strafrecht en criminologie
- vastgoed- en huurrecht
- vreemdelingenrecht