|
|
Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems
by Lokuciejewski, Paul.
Publication:
. XVIII, 262 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Safe and Secure Software Reuse
by Favaro, John.
Publication:
. XIV, 362 p. 114 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),
|
|
|
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),
|
|
|
Software Engineering for Self-Adaptive Systems II
by Lemos, Rogério.
Publication:
. X, 393 p. 110 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Network and Parallel Computing
by Park, James J.
Publication:
. XX, 647 p. 253 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Technology for Verification and Analysis
by Chakraborty, Supratik.
Publication:
. XIV, 436 p. 106 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Multi-Agent Systems
by Dennis, Louise.
Publication:
. XII, 217 p. 33 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Model-Driven Engineering
by Bernardo, Marco.
Publication:
. VII, 439 p. 158 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamentals of Software Engineering
by Arbab, Farhad.
Publication:
. XII, 377 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NASA Formal Methods
by Goodloe, Alwyn E.
Publication:
. XII, 466p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Components and Objects
by Aichernig, Bernhard K.
Publication:
. VII, 393p. 145 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Driven Engineering Languages and Systems
by Whittle, Jon.
Publication:
. XX, 730 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Technology for Verification and Analysis
by Bultan, Tevfik.
Publication:
. XIV, 532 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Eternal Networked Software Systems
by Bernardo, Marco.
Publication:
. VIII, 527p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Top Productivity through Software Reuse
by Schmid, Klaus.
Publication:
. XIII, 247p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
NASA Formal Methods
by Bobaru, Mihaela.
Publication:
. XIV, 534 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Pattern Languages of Programming II
by Noble, James.
Publication:
. IX, 125p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Generative and Transformational Techniques in Software Engineering III
by Fernandes, João M.
Publication:
. X, 499 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|