//]]>
Coalgebraic Methods in Computer Science by Pattinson, Dirk. Publication: . VII, 259 p. 7 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
FM 2012: Formal Methods by Giannakopoulou, Dimitra. Publication: . XVI, 488 p. 142 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Language, Information and Computation by Ong, Luke. Publication: . XII, 337 p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundational and Practical Aspects of Resource Analysis by Peña, Ricardo. Publication: . VII, 143 p. 30 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Industrial Critical Systems by Stoelinga, Mariëlle. Publication: . XIV, 223 p. 87 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Interactive Theorem Proving by Beringer, Lennart. Publication: . XI, 419 p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic-Based Program Synthesis and Transformation by Vidal, Germán. Publication: . X, 254 p. 61 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Generic and Indexed Programming by Gibbons, Jeremy. Publication: . VII, 259 p. 24 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Trends in Functional Programming by Peña, Ricardo. Publication: . X, 195 p. 66 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Inductive Logic Programming by Muggleton, Stephen H. Publication: . XI, 406 p. 130 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Verification of Object-Oriented Software by Beckert, Bernhard. Publication: . X, 251 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Checking Software by Donaldson, Alastair. Publication: . X, 261p. 85 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Developments in Language Theory by Yen, Hsu-Chun. Publication: . XIII, 478p. 65 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Descriptional Complexity of Formal Systems by Kutrib, Martin. Publication: . X, 319p. 23 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Applications of Satisfiability Testing – SAT 2012 by Cimatti, Alessandro. Publication: . XIV, 500p. 364 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Deontic Logic in Computer Science by Ågotnes, Thomas. Publication: . XII, 215 p. 21 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Logic of Categorial Grammars by Moot, Richard. Publication: . X, 300 p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Modelling Foundations and Applications by Vallecillo, Antonio. Publication: . XIII, 446p. 188 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Lectures on Logic and Computation by Bezhanishvili, Nick. Publication: . VIII, 265 p. 41 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Aided Verification by Madhusudan, P. Publication: . XVI, 789p. 192 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart