Inbunden

Interactive Theorem Proving and Program Development: Coq Art: The Calculus of Inductive Constructions

Beskrivning:

A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Fakta

ISBN:: 9783540208549
Bandtyp:: Inbunden
Utgiven:: 2004-05
Språk:: Engelska
Antal Sidor:: 472
ISBN-10:: 3540208542

Priser hos nätbutiker

Butik	Mervärde	Pris	Tillgänglighet	Leveranstid	Inkl frakt	Länkar
	Nordens största bokhandel med över 10 miljoner titlar. Alltid låga priser	856.00 kr	I lager	2-5 dagar	856.00 kr	Till butik

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