Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings: 6255 (Lecture Notes in Computer Science, 6255) - Softcover
Synopsis
The now well-established series of International Colloquia on Theoretical - pects of Computing (ICTAC) brings together practitionersand researchersfrom academia, industry and government to present research results, and exchange experience and ideas. Beyond these scholarly goals, another main purpose is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries. ThisvolumecontainsthepaperspresentedatICTAC2010.Itwasheldduring September 1-3 in the city of Natal, Rio Grande do Norte, Brazil. Therewere68submissionsbyauthorsfrom24countriesallaroundthe world. Each submission was reviewed by at least three, and on average four, Program Committee members and external reviewers. After extensive discussions, they decided to accept the 23 (regular) papers presented here. Authors of a selection of these papers were invited to submit an extended version of their work to a special issue of the Theoretical Computer Science journal. Seven of the papers were part of a special track including one paper on "F- mal Aspects of Software Testing", and six on the "Grand Challenge in Veri?ed Software." ThespecialtrackwasjointlyorganizedbyMarie-ClaudeGaudel,from the Universit' e de Paris-Sud, and Jim Woodcock, from the University of York.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Theoretical Aspects of Computing: 7th International...
Stock Image
Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings (Lecture Notes in Computer Science, 6255)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020219411
Stock Image
Theoretical Aspects of Computing (Paperback)
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642148077
ISBN 13: 9783642148071
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. The now well-established series of International Colloquia on Theoretical - pects of Computing (ICTAC) brings together practitionersand researchersfrom academia, industry and government to present research results, and exchange experience and ideas. Beyond these scholarly goals, another main purpose is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries. ThisvolumecontainsthepaperspresentedatICTAC2010.Itwasheldduring September 1-3 in the city of Natal, Rio Grande do Norte, Brazil. Therewere68submissionsbyauthorsfrom24countriesallaroundthe world. Each submission was reviewed by at least three, and on average four, Program Committee members and external reviewers. After extensive discussions, they decided to accept the 23 (regular) papers presented here. Authors of a selection of these papers were invited to submit an extended version of their work to a special issue of the Theoretical Computer Science journal. Seven of the papers were part of a special track including one paper on "F- mal Aspects of Software Testing", and six on the "Grand Challenge in Veri?ed Software."ThespecialtrackwasjointlyorganizedbyMarie-ClaudeGaudel,from the Universit' e de Paris-Sud, and Jim Woodcock, from the University of York. Constitutes the refereed proceedings of the 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010 held in Natal, Brazil, in September 2010. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783642148071
Stock Image
Theoretical Aspects of Computing
Published by
Springer-Verlag New York Inc, 2010
ISBN 10: 3642148077
ISBN 13: 9783642148071
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 1st edition. 410 pages. 9.00x6.10x0.90 inches. In Stock. Seller Inventory # x-3642148077
Seller Image
Theoretical Aspects of Computing
Published by
Springer Berlin Heidelberg, 2010
ISBN 10: 3642148077
ISBN 13: 9783642148071
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Up to date resultsFast conference prceedingsState-of-the-art reportInvited Papers and Abstract.- Invariants and Well-Foundedness in Program Algebra.- A Theory of Software Product Line Refinement.- The TLA?+? Proof System: Building a Heterogeneous Verifi. Seller Inventory # 5050626
Seller Image
Theoretical Aspects of Computing : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
Published by
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2010
ISBN 10: 3642148077
ISBN 13: 9783642148071
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware - The now well-established series of International Colloquia on Theoretical - pects of Computing (ICTAC) brings together practitionersand researchersfrom academia, industry and government to present research results, and exchange experience and ideas. Beyond these scholarly goals, another main purpose is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries. ThisvolumecontainsthepaperspresentedatICTAC2010.Itwasheldduring September 1 3 in the city of Natal, Rio Grande do Norte, Brazil. Therewere68submissionsbyauthorsfrom24countriesallaroundthe world. Each submission was reviewed by at least three, and on average four, Program Committee members and external reviewers. After extensive discussions, they decided to accept the 23 (regular) papers presented here. Authors of a selection of these papers were invited to submit an extended version of their work to a special issue of the Theoretical Computer Science journal. Seven of the papers were part of a special track including one paper on F- mal Aspects of Software Testing , and six on the Grand Challenge in Veri ed Software. ThespecialtrackwasjointlyorganizedbyMarie-ClaudeGaudel,from the Universit e de Paris-Sud, and Jim Woodcock, from the University of York. Seller Inventory # 9783642148071
Stock Image
Theoretical Aspects of Computing : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 8305682/12