Theoretical Aspects of Computing - ICTAC 2004
Subtitle: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science)
Contributors: Zhiming Liu (Editor); Keijiro Araki (Editor)
Edition: 1 edition
Publisher: Springer
Published: April 19, 2005
Language: eng
Format: Paperback
Number of pages: 562
ISBN-13: 9783540253044
Subjects: General Theory of Computing; Programming - Software Development; Computers; Computers - General Information; Computer Books: General; Programming Languages - General; Computer Science; Computers / Computer Science; UML; automata theory; concurrent systems; distributed computing; formal methods; formal verification; logical foundations; Networking - General; Computer programming; Congresses; Formal methods (Computer science); Software engineering
First sentence: Hardly anybody working in computer science or software engineering can claim to be immune to the hype that surrounds "web services".