|
|
Model checking software : , 17th International Spin Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings /
Publication:
Berlin : Springer, 2010
. x, 261 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Checking Software
by Pol, Jaco.
Publication:
. X, 263p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Silviculture in the Tropics
by Günter, Sven.
Publication:
. XVI, 560 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Democratic Competences and Social Practices in Organizations
by Weber, Wolfgang G.
Publication:
. 192 p. 4 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|