Types for Proofs and Programs (e-bog) af -

Reus, Bernhard (redaktør)

Types for Proofs and Programs e-bog

546,06 DKK (ekskl. moms 436,85 DKK)

E-bog 546,06 DKK

Kan læses i vores apps til iPhone/iPad og Android.

Forfattere Reus, Bernhard (redaktør)

Forlag Springer

Udgivet 2003

Genrer UMC

Sprog English

Format pdf

Beskyttelse LCP

ISBN 9783540481676

Beskrivelse