|
|
Verification, Model Checking, and Abstract Interpretation
by Barthe, Gilles.
Publication:
. X, 397p. 105 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Stabilization, Safety, and Security of Distributed Systems
by Higashino, Teruo.
Publication:
. XXIV, 380 p. 86 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logics in Computer Science
by Mogavero, Fabio.
Publication:
. XVII, 149 p. 13 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theoretical Computer Science
by Calude, Cristian S.
Publication:
. XII, 387p. 62 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed, Parallel and Biologically Inspired Systems
by Hinchey, Mike.
Publication:
. XVI, 316p. 113 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|