|
|
Tools and algorithms for the construction and analysis of systems : , 16th International Conference, Tacas 2010, Held As Part of the Joint European Conference on Theory and Practice of Software, Etaps 2010, Paphos, Cyprus, March 20, 2010 /
Publication:
Berlin : Springer, 2010
. xvi, 465 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems
by Esparza, Javier.
Publication:
. XVI, 468p. 102 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|