Verification, Induction, Termination Analysis (e-bog) af -

Wasser, Nathan (redaktør)

Verification, Induction, Termination Analysis 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 Wasser, Nathan (redaktør)

Forlag Springer

Udgivet 31 oktober 2010

Genrer UKN

Sprog English

Format pdf

Beskyttelse LCP

ISBN 9783642171727

Beskrivelse