Inbunden

Programming with Higher-Order Logic

Dale Miller

Beskrivning:

A programming language based on a higher-order logic provides an elegant and declarative approach to capturing computations involving types, proofs, and other syntactic structures.

Fakta

Förlag:: Cambridge University Pr.
ISBN:: 9780521879408
Bandtyp:: Inbunden
Utgiven:: 2012-09-01
Språk:: Engelska
ISBN-10:: 052187940X

Priser hos nätbutiker

Mervärde	Pris	Tillgänglighet	Leveranstid	Inkl frakt	Länkar
Nordens största bokhandel med över 10 miljoner titlar. Alltid låga priser	463.00 kr	I lager	5-15 dagar	463.00 kr	Till butik
Över 6 miljoner titlar Fraktfritt över 100kr Medmera-återbäring på alla köp	504.00 kr	I lager	5-8 dagar	504.00 kr	Till butik
Alltid störst sortiment Bonustrappa; samla inköp och få unika erbjudanden	519.00 kr	I lager	5-15 dagar	519.00 kr	Till butik

Obs! Glöm inte att alltid kolla priset hos återförsäljaren!