//]]>
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),
Actions: Add to Cart
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),
Actions: Add to Cart
Formal Methods for Model-Driven Engineering by Bernardo, Marco. Publication: . VII, 439 p. 158 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Eternal Networked Software Systems by Bernardo, Marco. Publication: . VIII, 527p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Performance Engineering by Aldini, Alessandro. Publication: . X, 286p. 100 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Quantitative Aspects of Programming Languages by Aldini, Alessandro. Publication: . VII, 169p. 31 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
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),
Actions: Add to Cart

Languages: 
English |
العربية