|
|
| |
Verification and validation in scientific computing /
by Oberkampf, William L.,
Publication:
New York : Cambridge University Press, 2010
. xiv, 767 p. :
26 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
| |
Verification, model checking, and abstract interpretation : , 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. x, 395 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
