Items related to Theoretical Aspects of Computing - ICTAC 2004: First...
Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers: 3407 (Lecture Notes in Computer Science, 3407) - Softcover
Synopsis
This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects of Computing, ICTAC 2004. The 34 revised full papers presented together with 4 invited contributions were carefully selected from 111 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on 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, and automata theory and logics.
"synopsis" may belong to another edition of this title.
Synopsis
This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects of Computing, ICTAC 2004.The 34 revised full papers presented together with 4 invited contributions were carefully selected from 111 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on 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, and automata theory and logics.
"About this title" may belong to another edition of this title.
Search results for Theoretical Aspects of Computing - ICTAC 2004: First...
Seller Image
Theoretical aspects of computing : ICTAC 2004 Lecture notes in computer science ; Vol. 3407
Published by
Berlin ; Heidelberg ; New York : Springer, 2005
ISBN 10: 3540253041
ISBN 13: 9783540253044
Used
Broschiert
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: Gut. XIV, 562 S. : graph. Darst. ; Das Buch befindet sich in einem gut erhaltenen Zustand. Namensvermerk des Vorbesitzers im Vorsatz. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 865. Seller Inventory # 2172451
Quantity: 1 available
Seller Image
Theoretical Aspects of Computing--ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5906913-n
Quantity: Over 20 available
Stock Image
Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3407)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540253044_new
Quantity: Over 20 available
Seller Image
Theoretical Aspects of Computing - ICTAC 2004
Published by
Springer Berlin Heidelberg, 2005
ISBN 10: 3540253041
ISBN 13: 9783540253044
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Speakers.- Software Services: Scientific Challenge or Industrial Hype?.- Integrating Variants of DC.- Challenges in Increasing Tool Support for Programming.- A Predicate Spatial Logic and Model Checking for Mobile Processes.- Concurrent and Distribu. Seller Inventory # 4886443
Quantity: Over 20 available
Seller Image
Theoretical Aspects of Computing - ICTAC 2004
Published by
Springer Berlin Heidelberg Mrz 2005, 2005
ISBN 10: 3540253041
ISBN 13: 9783540253044
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of ICTAC 2004, the 1st International Colloquium on Theoretical Aspects of Computing, which was held in Guiyang, China on 20 24 September 2004. ICTAC was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). Its aim is to bring together pr- titioners and researchers from academia, industry, and government to present research results, and exchange experience, ideas, and solutions for their pr- lems in theoretical aspects of computing. The geographic focus of the ICTAC events is on developing countries to help to strengthen them in their research, teaching, and development in computer science and engineering, to encourage research cooperation among developing countries, and to improve the links - tween developing countries and industrial countries. The Program Committee of ICTAC 2004 received 111 submissions from over 30 countries and regions. Each paper was reviewed, mostly by at least three r- ereesworkinginrelevant elds,butbytwoinafewcases.Borderlinepaperswere further discussed during an online meeting of the Program Committee. Thir- fourpaperswereacceptedbasedonoriginality,technicalsoundness,presentation andrelevancetosoftwareengineeringandformalmethods.Wesincerelythankall the authors who submitted their work for consideration. We thank the Program Committee members and the other referees for their great e ort and professional workinthereviewingandselectingprocess.Theirnamesarelistedonthefoll- ing pages. In addition to the contributed papers, the proceedings also includes contributions from the invited speakers: Jos e Luiz Fiadeiro, He Jifeng, Huimin Lin and Rustan Leino. 584 pp. Englisch. Seller Inventory # 9783540253044
Quantity: 2 available
Seller Image
Theoretical Aspects of Computing--ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5906913-n
Quantity: Over 20 available
Seller Image
Theoretical Aspects of Computing - ICTAC 2004
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2005, 2005
ISBN 10: 3540253041
ISBN 13: 9783540253044
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This volume contains the proceedings of ICTAC 2004, the 1st International Colloquium on Theoretical Aspects of Computing, which was held in Guiyang, China on 20¿24 September 2004. ICTAC was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). Its aim is to bring together pr- titioners and researchers from academia, industry, and government to present research results, and exchange experience, ideas, and solutions for their pr- lems in theoretical aspects of computing. The geographic focus of the ICTAC events is on developing countries to help to strengthen them in their research, teaching, and development in computer science and engineering, to encourage research cooperation among developing countries, and to improve the links - tween developing countries and industrial countries. The Program Committee of ICTAC 2004 received 111 submissions from over 30 countries and regions. Each paper was reviewed, mostly by at least three r- ereesworkinginrelevant elds,butbytwoinafewcases.Borderlinepaperswere further discussed during an online meeting of the Program Committee. Thir- fourpaperswereacceptedbasedonoriginality,technicalsoundness,presentation andrelevancetosoftwareengineeringandformalmethods.Wesincerelythankall the authors who submitted their work for consideration. We thank the Program Committee members and the other referees for their great e ort and professional workinthereviewingandselectingprocess.Theirnamesarelistedonthefoll- ing pages. In addition to the contributed papers, the proceedings also includes contributions from the invited speakers: Jos¿ e Luiz Fiadeiro, He Jifeng, Huimin Lin and Rustan Leino.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 584 pp. Englisch. Seller Inventory # 9783540253044
Quantity: 2 available
Stock Image
Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers (Lecture . Computer Science and General Issues)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Seller Inventory # UTD14a17853
Quantity: 1 available
Stock Image
Theoretical Aspects of Computing - ICTAC 2004
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 584. Seller Inventory # 263091132
Quantity: 4 available
Stock Image
Theoretical Aspects of Computing - ICTAC 2004
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 584 Illus. Seller Inventory # 5805411
Quantity: 4 available