|
|
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies
by Margaria, Tiziana.
Publication:
. XVI, 361 p. 129 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
by Margaria, Tiziana.
Publication:
. XVI, 617 p. 170 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Leveraging Applications of Formal Methods, Verification, and Validation
by Margaria, Tiziana.
Publication:
. XV, 498p. 157 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Leveraging Applications of Formal Methods, Verification, and Validation
by Margaria, Tiziana.
Publication:
. XX, 708p. 220 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Business. From Physical Products to Software Services and Solutions
by Herzwurm, Georg.
Publication:
. XIII, 235 p. 35 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),
|
|