//]]>
Unhighlight Highlight
NASA Formal Methods by Bobaru, Mihaela. Publication: . XIV, 534 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Compiler Construction by Knoop, Jens. Publication: . XII, 307p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Requirements Engineering: Foundation for Software Quality by Berry, Daniel. Publication: . XII, 209 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools and Algorithms for the Construction and Analysis of Systems by Abdulla, Parosh Aziz. Publication: . XVI, 394p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods: Foundations and Applications by Davies, Jim. Publication: . VIII, 291 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamental Approaches to Software Engineering by Giannakopoulou, Dimitra. Publication: . XIII, 464p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Software Science and Computational Structures by Hofmann, Martin. Publication: . XV, 473 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Barthe, Gilles. Publication: . XIV, 501p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hardware and Software: Verification and Testing by Barner, Sharon. Publication: . X, 197p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Language Engineering by Malloy, Brian. Publication: . XI, 417 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Pattern Languages of Programming II by Noble, James. Publication: . IX, 125p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hardware and Software: Verification and Testing by Namjoshi, Kedar. Publication: . X, 169 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Agent-Oriented Software Engineering X by Gleizes, Marie-Pierre. Publication: . XII, 229p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Practical Aspects of Declarative Languages by Rocha, Ricardo. Publication: . VIII, 265p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verification, Model Checking, and Abstract Interpretation by Jhala, Ranjit. Publication: . XI, 419p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Verification of Object-Oriented Software by Beckert, Bernhard. Publication: . X, 199p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Generative and Transformational Techniques in Software Engineering III by Fernandes, João M. Publication: . X, 499 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algebraic Methodology and Software Technology by Johnson, Michael. Publication: . X, 238p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Central European Functional Programming School by Horváth, Zoltán. Publication: . IX, 391p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Service Research Challenges and Solutions for the Future Internet by Papazoglou, Mike P. Publication: . XVIII, 374p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Next >>
Languages: 
English |
العربية