|
|
Integrated Formal Methods
by Johnsen, Einar Broch.
Publication:
. XIV, 443 p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reliable Software Technologies – Ada-Europe 2013
by Keller, Hubert B.
Publication:
. XII, 177 p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Web Services and Formal Methods
by Beek, Maurice H.
Publication:
. X, 151 p. 55 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
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),
|
|
|
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),
|
|
|
NASA Formal Methods
by Brat, Guillaume.
Publication:
. XXIV, 486 p. 164 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Languages and Compilers for Parallel Computing
by Kasahara, Hironori.
Publication:
. XII, 276 p. 101 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Software Science and Computation Structures
by Pfenning, Frank.
Publication:
. XXIV, 451 p. 51 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamental Approaches to Software Engineering
by Cortellessa, Vittorio.
Publication:
. XX, 376 p. 90 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Compiler Construction
by Jhala, Ranjit.
Publication:
. XVIII, 265 p. 96 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Felleisen, Matthias.
Publication:
. XX, 620 p. 162 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Aspect-Oriented Software Development X
by Leavens, Gary T.
Publication:
. XII, 185 p. 76 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
by Clarke, Dave.
Publication:
. VIII, 515 p. 134 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
System Analysis and Modeling: Theory and Practice
by Haugen, Øystein.
Publication:
. X, 249 p. 91 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
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),
|
|
|
Assurances for Self-Adaptive Systems
by Cámara, Javier.
Publication:
. X, 341 p. 94 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
by Ayala, José L.
Publication:
. IX, 258 p. 150 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Construction and Evolution of Code Generators
by Jörges, Sven.
Publication:
. XXIV, 246 p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Language Engineering
by Czarnecki, Krzysztof.
Publication:
. XII, 413 p. 172 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering
by Lucia, Andrea.
Publication:
. X, 237 p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|