Amazon cover image
Image from Amazon.com

Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers / Zhiming Liu, Keijiro Araki (eds.).

By: (1st : ICTAC (Colloquium) (1st : 2004 : Guiyang Shi, China)Contributor(s): Liu, Zhiming, 1961- | Araki, Keijirō, 1954-Material type: TextTextSeries: Serienbezeichnung | Lecture notes in computer science ; 3407.Publication details: Berlin ; New York : Springer, ©2005. Description: 1 online resource (xiv, 562 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783540318620; 3540318623; 3540253041; 9783540253044Other title: ICTAC 2004Subject(s): Computer programming -- Congresses | Software engineering -- Congresses | Formal methods (Computer science) -- Congresses | Computer science -- Congresses | Electronic data processing -- Congresses | Information theory -- Congresses | Informatique -- Congrès | Théorie de l'information -- Congrès | Informatique | Computer programming | Computer science | Electronic data processing | Formal methods (Computer science) | Information theory | Software engineering | Informatique théorique | Théorie de l'information | ICTAC | Computing | wiskunde | mathematics | computerwetenschappen | computer sciences | computational science | computernetwerken | computer networks | logica | logic | programmeertalen | programming languages | software engineering | Information and Communication Technology (General) | Informatie- en communicatietechnologie (algemeen)Genre/Form: Electronic books. | Conference papers and proceedings. Additional physical formats: Print version:: Theoretical aspects of computing.DDC classification: 004 LOC classification: QA76.6 | .I164 2004ebOnline resources: Click here to access online
Contents:
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

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.

Powered by Koha