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

Butik	Mervärde	Pris	Tillgänglighet	Leveranstid	Inkl frakt	Länkar
	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
	Nordens största bokhandel med över 10 miljoner titlar. Alltid låga priser	530.00 kr	I lager	5-15 dagar	530.00 kr	Till butik

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