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

Published Berlin ; New York : Springer, ©2005

Click on the following:
Springer eBooks
Springer Computer Science eBooks

Copies

Description 1 online resource (xiv, 562 pages) : illustrations Series Lecture notes in computer science, 0302-9743 ; 3407 Lecture notes in computer science ; 3407. 0302-9743 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 Analysis 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) Bibliography Includes bibliographical references and index Notes Print version record In OhioLINK electronic book center SpringerLink Subject Computer programming -- Congresses Software engineering -- Congresses Formal methods (Computer science) -- Congresses Computer science -- Congresses Electronic data processing -- Congresses Information theory -- Congresses Informatique. Computer programming. Computer science. Electronic data processing. Formal methods (Computer science) Information theory. Software engineering. Informatique théorique. Théorie de l'information. Genre/Form Conference papers and proceedings. Conference papers and proceedings. Actes de congrès. Form Electronic book Author Liu, Zhiming, 1961- Araki, Keijirō, 1954- ISBN 9783540318620 3540318623 3540253041 9783540253044

Other Titles ICTAC 2004

  Permalink