//]]>
Unhighlight Highlight
Correct Reasoning by Erdem, Esra. Publication: . XI, 594p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integrated Formal Methods by Derrick, John. Publication: . XII, 360p. 105 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reliable Software Technologies – Ada-Europe 2012 by Brorsson, Mats. Publication: . XII, 220p. 59 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Composition by Gschwind, Thomas. Publication: . XII, 195p. 66 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Objects, Models, Components, Patterns by Furia, Carlo A. Publication: . XI, 372p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tests and Proofs by Brucker, Achim D. Publication: . X, 177p. 57 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Runtime Verification by Khurshid, Sarfraz. Publication: . XII, 458 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Logic Programming by Schrijvers, Tom. Publication: . X, 333 p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Perspectives of Systems Informatics by Clarke, Edmund. Publication: . XIV, 411 p. 130 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and Program Semantics by Constable, Robert L. Publication: . XIII, 357 p. 45 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Graph Structures for Knowledge Representation and Reasoning by Croitoru, Madalina. Publication: . VII, 209 p. 77 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamentals of Software Engineering by Arbab, Farhad. Publication: . XII, 377 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
NASA Formal Methods by Goodloe, Alwyn E. Publication: . XII, 466p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamental Approaches to Software Engineering by Lara, Juan. Publication: . Approx. 535 p. 168 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Seidl, Helmut. Publication: . XV, 602 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools and Algorithms for the Construction and Analysis of Systems by Flanagan, Cormac. Publication: . XIX, 560 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic for Programming, Artificial Intelligence, and Reasoning by Bjørner, Nikolaj. Publication: . XI, 446 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance by Schmitt, Jens B. Publication: . XIII, 331p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Software Engineering Techniques by Szmuc, Tomasz. Publication: . Approx. 275 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verification, Model Checking, and Abstract Interpretation by Kuncak, Viktor. Publication: . X, 457p. 111 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 8 9 Next >>
Languages: 
English |
العربية