|
|
Testing Software and Systems
by Wolff, Burkhart.
Publication:
. X, 226p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods and Software Engineering
by Qin, Shengchao.
Publication:
. XIV, 670p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Scholz, Sven-Bodo.
Publication:
. X, 291p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Industrial Critical Systems
by Salaün, Gwen.
Publication:
. X, 261 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Frontiers of Combining Systems
by Tinelli, Cesare.
Publication:
. VIII, 275 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Modeling and Analysis of Timed Systems
by Fahrenberg, Uli.
Publication:
. XI, 353 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reachability Problems
by Delzanno, Giorgio.
Publication:
. XII, 245 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Hage, Jurriaan.
Publication:
. X, 217 p. 29 illus., 4 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Datalog Reloaded
by Moor, Oege.
Publication:
. VIII, 399p. 52 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Static Analysis
by Yahav, Eran.
Publication:
. XII, 387 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theoretical Aspects of Computing – ICTAC 2011
by Cerone, Antonio.
Publication:
. X, 267p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Trends in Functional Programming
by Page, Rex.
Publication:
. X, 215 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Interactive Theorem Proving
by Eekelen, Marko.
Publication:
. XI, 383 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Descriptional Complexity of Formal Systems
by Holzer, Markus.
Publication:
. X, 329p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Deduction – CADE-23
by Bjørner, Nikolaj.
Publication:
. XIII, 508 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Logic in Multi-Agent Systems
by Leite, João.
Publication:
. XV, 383 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Checking Software
by Groce, Alex.
Publication:
. X, 195p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods
by Brünnler, Kai.
Publication:
. VIII, 279p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Aided Verification
by Gopalakrishnan, Ganesh.
Publication:
. XV, 763p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Composition
by Apel, Sven.
Publication:
. VIII, 181p.
Availability:
Copies available:
AUM Main Library
(1),
|
|