//]]>
Unhighlight Highlight
On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages by Henderson-Sellers, Brian. Publication: . IX, 106 p. 98 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Correctness-by-Construction Approach to Programming by Kourie, Derrick G. Publication: . XIII, 264p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theoretical Computer Science by Calude, Cristian S. Publication: . XII, 387p. 62 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods: State of the Art and New Directions by Boca, Paul. Publication: . XXVI, 273 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer Science by Blum, Edward K. Publication: . X, 470 p. 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
Specification and Verification of Multi-agent Systems by Dastani, Mehdi. Publication: . XVII, 405p. 100 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 2 3 4 5 6 7 8 9 10 11
Languages: 
English |
العربية