Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers / Zhiming Liu, Keijiro Araki (eds.).
Material type:
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
e-Library
Electronic Book@IST |
EBook | Available |
Includes bibliographical references and index.
Invited speakers -- Concurrent and distributed systems -- Model integration and theory unification -- Program reasoning and testing -- Verification -- Theories of programming and programming languages -- Real-time and co-design -- Automata theory and logics -- Tutorials at ICTAC 2004.
Print version record.