|
|
Concurrency, compositionality, and correctness : , essays in honor of Willem-Paul De Roever /
Publication:
New York : Springer, 2010
. x, 375 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Fundamentals of Computation Theory
by Owe, Olaf.
Publication:
. XIII, 373 p.
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),
|
|
|
Formal methods for open object-based distributed systems : , 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings /
Publication:
Berlin ; Springer, 2005
. x, 321 p. :
24 cm.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|