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

Smith, Jan (redaktør)

Types for Proofs and Programs e-bog

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

E-bog 436,85 DKK

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

Forfattere Smith, Jan (redaktør)

Forlag Springer

Udgivet 31 juli 2003

Genrer PBC

Sprog English

Format pdf

Beskyttelse LCP

ISBN 9783540445579

Beskrivelse