//]]>
Unhighlight Highlight
Theory and Practice of Model Transformations by Duddy, Keith. Publication: . XIV, 221 p. 85 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Static Analysis by Logozzo, Francesco. Publication: . X, 499 p. 130 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Application and Theory of Petri Nets and Concurrency by Colom, José-Manuel. Publication: . XII, 411 p. 166 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integrated Formal Methods by Johnsen, Einar Broch. Publication: . XIV, 443 p. 95 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reliable Software Technologies – Ada-Europe 2013 by Keller, Hubert B. Publication: . XII, 177 p. 50 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web Services and Formal Methods by Beek, Maurice H. Publication: . X, 151 p. 55 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model-Based Methodologies for Pervasive and Embedded Software by Machado, Ricardo J. Publication: . X, 139 p. 61 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky by Coecke, Bob. Publication: . XX, 363 p. 26 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
NASA Formal Methods by Brat, Guillaume. Publication: . XXIV, 486 p. 164 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Software Science and Computation Structures by Pfenning, Frank. Publication: . XXIV, 451 p. 51 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fundamental Approaches to Software Engineering by Cortellessa, Vittorio. Publication: . XX, 376 p. 90 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Felleisen, Matthias. Publication: . XX, 620 p. 162 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools and Algorithms for the Construction and Analysis of Systems by Piterman, Nir. Publication: . XXIV, 646 p. 137 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Assurances for Self-Adaptive Systems by Cámara, Javier. Publication: . X, 341 p. 94 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Generative and Transformational Techniques in Software Engineering IV by Lämmel, Ralf. Publication: . XII, 449 p. 112 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Components and Objects by Beckert, Bernhard. Publication: . X, 356 p. 129 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Aspects of Component Software by Păsăreanu, Corina S. Publication: . X, 277 p. 72 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools for Practical Software Verification by Meyer, Bertrand. Publication: . VIII, 183 p. 31 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Aspects of Component Software by Arbab, Farhad. Publication: . X, 369 p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logical Foundations of Computer Science by Artemov, Sergei. Publication: . X, 415 p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 5 6 7 8 9 10 Next >>
Languages: 
English |
العربية