Filter
Sökt på: Böcker av Dekkers Wil
Filter
totalt 3 träffar
Lambda Calculus with Types
E-bok,
2013,
Engelska,
ISBN 9781107272248
This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus …
Från
1417 kr
A Psychology of Human Dignity
pocket,
2015,
Engelska,
ISBN 9781621481126
Originally published in the Netherlands in 2011, this book is the result of a life's work devoted to developing the craft of psychotherapy in a way that leaves the therapist's and …
Lambda Calculus with Types
inbunden,
2013,
Engelska,
ISBN 9780521766142
This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus …