Rajaa
Hakutulokset: Kirjoja kirjailijalta Wil Dekkers
Rajaa
yhteensä 3 hakutulosta
Lambda Calculus with Types
e-kirja,
2013,
englanti,
ISBN 9781107272989
This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus …
Lambda Calculus with Types
sidottu,
2013,
englanti,
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 …
Lambda Calculus with Types
e-kirja,
2013,
englanti,
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 …