|
|
Architecting Dependable Systems VII
by Casimiro, Antonio.
Publication:
. XII, 324p. 101 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verification, Induction, Termination Analysis
by Siegler, Simon.
Publication:
. XI, 145p. 30 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Ueda, Kazunori.
Publication:
. X, 440p. 48 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Components and Objects
by Boer, Frank S.
Publication:
. X, 339p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Logic in Multi-Agent Systems
by Dix, Jürgen.
Publication:
. IX, 197p. 40 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Unifying Theories of Programming
by Qin, Shengchao.
Publication:
. VIII, 310p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Runtime Verification
by Barringer, Howard.
Publication:
. XIII, 492p. 145 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Testing Software and Systems
by Petrenko, Alexandre.
Publication:
. XII, 267p. 76 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Leveraging Applications of Formal Methods, Verification, and Validation
by Margaria, Tiziana.
Publication:
. XV, 498p. 157 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Leveraging Applications of Formal Methods, Verification, and Validation
by Margaria, Tiziana.
Publication:
. XX, 708p. 220 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Morazán, Marco T.
Publication:
. IX, 237p. 107 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conceptual Modeling – ER 2010
by Parsons, Jeffrey.
Publication:
. XIV, 490p. 163 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Rewriting Logic and Its Applications
by Ölveczky, Peter Csaba.
Publication:
. X, 264p. 44 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model-Based Engineering of Embedded Real-Time Systems
by Giese, Holger.
Publication:
. XV, 385p. 94 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integrated Formal Methods
by Méry, Dominique.
Publication:
. X, 337p. 110 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning
by Fermüller, Christian G.
Publication:
. XII, 656p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Multiagent System Technologies
by Dix, Jürgen.
Publication:
. XII, 221p. 81 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Checking Software
by Pol, Jaco.
Publication:
. X, 263p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Algorithmic Learning Theory
by Hutter, Marcus.
Publication:
. XIII, 421p. 45 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Aspect-Oriented Software Development VII
by Katz, Shmuel.
Publication:
. XV, 423p. 234 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|