|
|
A process algebraic approach to software architecture design /
by Aldini, Alessandro.
Publication:
London : Springer, 2010
. xv, 304 p. :
25 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(3),
|
No cover image available
|
|
Formal Methods for Dynamical Systems
by Bernardo, Marco.
Publication:
. VIII, 181 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Model-Driven Engineering
by Bernardo, Marco.
Publication:
. VII, 439 p. 158 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Eternal Networked Software Systems
by Bernardo, Marco.
Publication:
. VIII, 527p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Performance Engineering
by Aldini, Alessandro.
Publication:
. X, 286p. 100 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Quantitative Aspects of Programming Languages
by Aldini, Alessandro.
Publication:
. VII, 169p. 31 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
A Process Algebraic Approach to Software Architecture Design
by Aldini, Alessandro.
Publication:
. XV, 304p. 60 illus., 30 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|