//]]>
Testing – Practice and Research Techniques by Bottaci, Leonardo. Publication: . XIII, 219p. 82 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Modeling and Analysis of Timed Systems by Chatterjee, Krishnendu. Publication: . X, 257p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verified Software: Theories, Tools, Experiments by Leavens, Gary T. Publication: . X, 217p. 68 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Unifying Theories of Programming by Butterfield, Andrew. Publication: . IX, 279p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Testing Techniques in Software Engineering by Borba, Paulo. Publication: . IX, 313p. 73 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A 25-Year Perspective on Logic Programming by Dovier, Agostino. Publication: . XIV, 329p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Applications of Satisfiability Testing – SAT 2010 by Strichman, Ofer. Publication: . XIII, 400p. 74 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tests and Proofs by Fraser, Gordon. Publication: . 174p. 60 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Objects, Models, Components, Patterns by Vitek, Jan. Publication: . 316p. 103 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Time for Verification by Manna, Zohar. Publication: . VIII, 413p. 113 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Practice of Model Transformations by Tratt, Laurence. Publication: . X, 278p. 95 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Applications and Theory of Petri Nets by Lilius, Johan. Publication: . X, 329p. 129 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reliable Software Technologiey – Ada-Europe 2010 by Real, Jorge. Publication: . XII, 277p. 65 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Techniques for Distributed Systems by Hatcliff, John. Publication: . XII, 233p. 40 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic-Based Program Synthesis and Transformation by Schreye, Danny. Publication: . X, 205p. 29 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Logic Programming by Blume, Matthias. Publication: . XI, 355p. 46 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Compiler Construction by Gupta, Rajiv. Publication: . XII, 326p. 119 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Approaches and Applications of Inductive Programming by Schmid, Ute. Publication: . IX, 195p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Practical Aspects of Declarative Languages by Carro, Manuel. Publication: . XI, 297p. 78 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Using Event-B for Critical Device Software Systems by Singh, Neeraj Kumar. Publication: . XVIII, 326 p. 45 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart