|
|
Logic-Based Program Synthesis and Transformation
by Schreye, Danny.
Publication:
. X, 205p. 29 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Logic Programming
by Blume, Matthias.
Publication:
. XI, 355p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Software Science and Computational Structures
by Ong, Luke.
Publication:
. XV, 389p. 47 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Constraint Logic Programming
by Escobar, Santiago.
Publication:
. IX, 179p. 35 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Approaches and Applications of Inductive Programming
by Schmid, Ute.
Publication:
. IX, 195p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automata for Branching and Layered Temporal Structures
by Puppis, Gabriele.
Publication:
. 206p. 41 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Information and Knowledge Systems
by Link, Sebastian.
Publication:
. XII, 363 p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Abstract State Machines, Alloy, B and Z
by Frappier, Marc.
Publication:
. XIV, 416p. 95 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Concurrency, Compositionality, and Correctness
by Dams, Dennis.
Publication:
. 377p. 94 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Practical Aspects of Declarative Languages
by Carro, Manuel.
Publication:
. XI, 297p. 78 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Certified Programs and Proofs
by Gonthier, Georges.
Publication:
. XII, 309 p. 44 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Shan, Chung-chieh.
Publication:
. X, 381 p. 40 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hardware and Software: Verification and Testing
by Bertacco, Valeria.
Publication:
. XX, 366 p. 147 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),
|
|
|
Instruction Sequences for Computer Science
by Bergstra, Jan A.
Publication:
. XVI, 229 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
ICT in Education, Research, and Industrial Applications
by Ermolayev, Vadim.
Publication:
. XIV, 245 p. 52 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Correctness-by-Construction Approach to Programming
by Kourie, Derrick G.
Publication:
. XIII, 264p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The NCL Natural Constraint Language
by Zhou, Jianyang.
Publication:
. XIII, 311 p.
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),
|
|
|
Logical Analysis of Hybrid Systems
by Platzer, André.
Publication:
. XXX, 426p. 137 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|