|
|
Transactions on Aspect-Oriented Software Development IX
by Leavens, Gary T.
Publication:
. XIV, 307 p. 97 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Certified Programs and Proofs
by Hawblitzel, Chris.
Publication:
. X, 305 p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Jhala, Ranjit.
Publication:
. XII, 389 p. 104 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Testing Software and Systems
by Nielsen, Brian.
Publication:
. X, 263 p. 97 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Gill, Andy.
Publication:
. X, 181 p. 68 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hardware and Software: Verification and Testing
by Eder, Kerstin.
Publication:
. XII, 263 p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Applications of Graph Transformations with Industrial Relevance
by Schürr, Andy.
Publication:
. XII, 255 p. 133 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
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),
|
|
|
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),
|
|
|
Rewriting Logic and Its Applications
by Durán, Franciso.
Publication:
. VIII, 241 p. 51 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conceptual Modeling
by Atzeni, Paolo.
Publication:
. XX, 592 p. 206 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Engineering and Formal Methods
by Eleftherakis, George.
Publication:
. XIV, 384 p. 103 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Safety, Reliability, and Security
by Ortmeier, Frank.
Publication:
. XVI, 530 p. 198 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Driven Engineering Languages and Systems
by France, Robert B.
Publication:
. XX, 828 p. 298 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph Transformations
by Ehrig, Hartmut.
Publication:
. XII, 427 p. 166 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Stabilization, Safety, and Security of Distributed Systems
by Richa, Andréa W.
Publication:
. XIX, 330 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reachability Problems
by Finkel, Alain.
Publication:
. XII, 149 p. 31 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Technology for Verification and Analysis
by Chakraborty, Supratik.
Publication:
. XIV, 436 p. 106 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Modeling and Analysis of Timed Systems
by Jurdziński, Marcin.
Publication:
. X, 267 p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Relational and Algebraic Methods in Computer Science
by Kahl, Wolfram.
Publication:
. XII, 361 p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|