//]]>
Unhighlight Highlight
ECOOP 2010 – Object-Oriented Programming by D’Hondt, Theo. Publication: . XIII, 599p. 196 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Composition by Baudry, Benoît. Publication: . VIII, 155p. 56 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamentals of Software Engineering by Arbab, Farhad. Publication: . XIII, 471p. 135 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verification, Model Checking, and Abstract Interpretation by Barthe, Gilles. Publication: . X, 397p. 105 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Technology for Verification and Analysis by Hung, Dang. Publication: . XIV, 528 p. 115 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Algebraic Specification and Formal Software Development by Sannella, Donald. Publication: . XVI, 584 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Understanding Concurrent Systems by Roscoe, A.W. Publication: . XVIII, 530 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2
Languages: 
English |
العربية