Peled, Doron A. (redaktør)

Computer Aided Verification e-bog

875,33 DKK

E-bog 875,33 DKK

Forfattere Peled, Doron A. (redaktør)

Forlag Springer

Udgivet 30.07.2004

Genrer Software Engineering

Sprog English

Format pdf

Beskyttelse LCP

ISBN 9783540278139