|
|
Formal methods for industrial critical systems : , 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Publication:
Berlin : Springer, 2010
. xii, 230 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Industrial Critical Systems
by Kowalewski, Stefan.
Publication:
. XII, 231p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|