|
|
Logic-Based Program Synthesis and Transformation
by Albert, Elvira.
Publication:
. X, 245 p. 36 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
by Coecke, Bob.
Publication:
. XX, 363 p. 26 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Petri Nets and Other Models of Concurrency VII
by Jensen, Kurt.
Publication:
. XVI, 423 p. 250 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NASA Formal Methods
by Brat, Guillaume.
Publication:
. XXIV, 486 p. 164 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Declarative Agent Languages and Technologies X
by Baldoni, Matteo.
Publication:
. XII, 209 p. 42 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Logics
by Voronkov, Andrei.
Publication:
. X, 447 p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Recent Trends in Algebraic Development Techniques
by Martí-Oliet, Narciso.
Publication:
. X, 283 p. 71 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Software Science and Computation Structures
by Pfenning, Frank.
Publication:
. XXIV, 451 p. 51 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Language and Automata Theory and Applications
by Dediu, Adrian-Horia.
Publication:
. XIV, 580 p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamental Approaches to Software Engineering
by Cortellessa, Vittorio.
Publication:
. XX, 376 p. 90 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Languages and Systems
by Felleisen, Matthias.
Publication:
. XX, 620 p. 162 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems
by Piterman, Nir.
Publication:
. XXIV, 646 p. 137 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning and Mathematics
by Bonacina, Maria Paola.
Publication:
. XX, 259 p. 27 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reversible Computation
by Glück, Robert.
Publication:
. X, 241 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Assurances for Self-Adaptive Systems
by Cámara, Javier.
Publication:
. X, 341 p. 94 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
by Ayala, José L.
Publication:
. IX, 258 p. 150 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic and Its Applications
by Lodaya, Kamal.
Publication:
. X, 259 p. 18 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Generative and Transformational Techniques in Software Engineering IV
by Lämmel, Ralf.
Publication:
. XII, 449 p. 112 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Components and Objects
by Beckert, Bernhard.
Publication:
. X, 356 p. 129 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verification, Model Checking, and Abstract Interpretation
by Giacobazzi, Roberto.
Publication:
. XII, 556 p. 123 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|