|
|
Formal Methods for Components and Objects
by Giachino, Elena.
Publication:
. X, 241 p. 125 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning
by Giesl, Jürgen.
Publication:
. XII, 534p. 85 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Leveraging Applications of Formal Methods, Verification, and Validation
by Hähnle, Reiner.
Publication:
. XII, 261 p. 94 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|