Rajamani, Sriram K (redaktør)

Verified Software: Theories, Tools, Experiments e-bog

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

E-bog 436,85 DKK

Forfattere Rajamani, Sriram K (redaktør)

Forlag Springer

Udgivet 12 august 2010

Genrer Computer programming / software engineering

Sprog English

Format pdf

Beskyttelse LCP

ISBN 9783642150579