|
|
| |
Practical Aspects of Declarative Languages
by Carro, Manuel.
Publication:
. XI, 297p. 78 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Perspectives of Systems Informatics
by Pnueli, Amir.
Publication:
. XIII, 426 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Declarative Agent Languages and Technologies VII
by Baldoni, Matteo.
Publication:
. XII, 263 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Verification, Model Checking, and Abstract Interpretation
by Barthe, Gilles.
Publication:
. X, 397p. 105 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),
|
|
| |
Stabilization, Safety, and Security of Distributed Systems
by Higashino, Teruo.
Publication:
. XXIV, 380 p. 86 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),
|
|
| |
Automated Technology for Verification and Analysis
by Hung, Dang.
Publication:
. XIV, 528 p. 115 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Business Process Management
by Daniel, Florian.
Publication:
. XVI, 355 p. 124 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Formal techniques for computer systems and business processes : , European performance engineering workshop, EPEW 2005 and international workshop on web services and formal methods, WS-FM 2005, Versailles, France, September 1-3, 2005, proceedings /
Publication:
New York, NY : Springer, 2005
. xiii, 348 p.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
