//]]>
Unhighlight Highlight
Transactions on Aspect-Oriented Software Development IX by Leavens, Gary T. Publication: . XIV, 307 p. 97 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Certified Programs and Proofs by Hawblitzel, Chris. Publication: . X, 305 p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Jhala, Ranjit. Publication: . XII, 389 p. 104 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Petri Nets and Other Models of Concurrency VI by Jensen, Kurt. Publication: . XX, 365 p. 193 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Testing Software and Systems by Nielsen, Brian. Publication: . X, 263 p. 97 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Implementation and Application of Functional Languages by Gill, Andy. Publication: . X, 181 p. 68 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods and Software Engineering by Aoki, Toshiaki. Publication: . XIV, 512 p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hardware and Software: Verification and Testing by Eder, Kerstin. Publication: . XII, 263 p. 95 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Large-Scale Complex IT Systems. Development, Operation and Management by Calinescu, Radu. Publication: . XII, 417 p. 143 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies by Margaria, Tiziana. Publication: . XVI, 361 p. 129 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change by Margaria, Tiziana. Publication: . XVI, 617 p. 170 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Rewriting Logic and Its Applications by Durán, Franciso. Publication: . VIII, 241 p. 51 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Engineering and Formal Methods by Eleftherakis, George. Publication: . XIV, 384 p. 103 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model Driven Engineering Languages and Systems by France, Robert B. Publication: . XX, 828 p. 298 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Model and Data Engineering by Abelló, Alberto. Publication: . XII, 187 p. 74 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reachability Problems by Finkel, Alain. Publication: . XII, 149 p. 31 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Automated Technology for Verification and Analysis by Chakraborty, Supratik. Publication: . XIV, 436 p. 106 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Modeling and Analysis of Timed Systems by Jurdziński, Marcin. Publication: . X, 267 p. 71 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods: Foundations and Applications by Gheyi, Rohit. Publication: . X, 227 p. 67 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages by Carvalho Junior, Francisco Heron. Publication: . IX, 165 p. 78 illus. 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 |
العربية