//]]>
Unhighlight Highlight
Tests and Proofs by Gogolla, Martin. Publication: . X, 205p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Practice of Model Transformations by Cabot, Jordi. Publication: . XII, 229p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
System Analysis and Modeling: About Models by Kraemer, Frank Alexander. Publication: . X, 257p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Modelling Foundations and Applications by France, Robert B. Publication: . XIV, 396p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Techniques for Distributed Systems by Bruni, Roberto. Publication: . XIV, 349p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
FM 2011: Formal Methods by Butler, Michael. Publication: . XIV, 450p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reliable Software Technologies - Ada-Europe 2011 by Romanovsky, Alexander. Publication: . XIII, 227p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Models in Software Engineering by Dingel, Juergen. Publication: . XII, 416p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Functional and Constraint Logic Programming by Mariño, Julio. Publication: . IX, 175 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Declarative Agent Languages and Technologies VIII by Omicini, Andrea. Publication: . X, 205 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
NASA Formal Methods by Bobaru, Mihaela. Publication: . XIV, 534 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
Recent Advances in Constraints by Larrosa, Javier. Publication: . VII, 155 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on High-Performance Embedded Architectures and Compilers III by Stenström, Per. Publication: . XIV, 299p. 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
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>
Languages: 
English |
العربية