Automated Technology for Verification and Analysis (e-bog) af -

Chin, Wei-Ngan (redaktør)

Automated Technology for Verification and 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 Chin, Wei-Ngan (redaktør)

Forlag Springer

Udgivet 21 september 2010

Genrer UKN

Sprog English

Format pdf

Beskyttelse LCP

ISBN 9783642156434

Beskrivelse