|
|
Declarative Agent Languages and Technologies VIII
by Omicini, Andrea.
Publication:
. X, 205 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rigorous Software Engineering for Service-Oriented Systems
by Wirsing, Martin.
Publication:
. X, 737p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NASA Formal Methods
by Bobaru, Mihaela.
Publication:
. XIV, 534 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Compiler Construction
by Knoop, Jens.
Publication:
. XII, 307p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Requirements Engineering: Foundation for Software Quality
by Berry, Daniel.
Publication:
. XII, 209 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems
by Abdulla, Parosh Aziz.
Publication:
. XVI, 394p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods: Foundations and Applications
by Davies, Jim.
Publication:
. VIII, 291 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamental Approaches to Software Engineering
by Giannakopoulou, Dimitra.
Publication:
. XIII, 464p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Software Science and Computational Structures
by Hofmann, Martin.
Publication:
. XV, 473 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Barthe, Gilles.
Publication:
. XIV, 501p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Languages and Compilers for Parallel Computing
by Cooper, Keith.
Publication:
. X, 278 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hardware and Software: Verification and Testing
by Barner, Sharon.
Publication:
. X, 197p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Recent Advances in Constraints
by Larrosa, Javier.
Publication:
. VII, 155 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on High-Performance Embedded Architectures and Compilers III
by Stenström, Per.
Publication:
. XIV, 299p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Language Engineering
by Malloy, Brian.
Publication:
. XI, 417 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Pattern Languages of Programming II
by Noble, James.
Publication:
. IX, 125p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hardware and Software: Verification and Testing
by Namjoshi, Kedar.
Publication:
. X, 169 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Agent-Oriented Software Engineering X
by Gleizes, Marie-Pierre.
Publication:
. XII, 229p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Practical Aspects of Declarative Languages
by Rocha, Ricardo.
Publication:
. VIII, 265p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verification, Model Checking, and Abstract Interpretation
by Jhala, Ranjit.
Publication:
. XI, 419p.
Availability:
Copies available:
AUM Main Library
(1),
|
|