Bücher: Finden. Vergleichen. Kaufen.

(*)

Ana Cavalcanti:
Theoretical Aspects of Computing - Taschenbuch

2010, ISBN: 9783642148071

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], 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., [SC: 0.00], Neuware, gewerbliches Angebot, 239x158x25 mm, [GW: 623g]

(*)

Ana Cavalcanti:
Theoretical Aspects of Computing - Taschenbuch

2010, ISBN: 9783642148071

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], 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., [SC: 6.00], Neuware, gewerbliches Angebot, 239x158x25 mm, [GW: 623g]

(*)

Ana Cavalcanti:
Theoretical Aspects of Computing - Taschenbuch

2010, ISBN: 9783642148071

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], 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., [SC: 0.00], Neuware, gewerbliches Angebot, FixedPrice, [GW: 623g]

(*)

Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedin - neues Buch

2010, ISBN: 9783642148071

ID: 978364214807

This book constitutes the refereed proceedings of the 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010 held in Natal, Brazil, in September 2010. The 23 revised full papers presented with 2 invited papers and the abstract of 1 invited talk were carefully reviewed and selected from 68 submissions. The papers address all theoretical aspects and methodological issues of computing and are organized in topical sections on grammars, semantics, modelling, the special track on formal aspects of software testing and grand challenge in verified software, on logics, as well as algorithms and types. Books, Computers, Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedin Books>Computers, Springer Berlin Heidelberg

(*)

Cavalcanti, Ana (Herausgeber):
Theoretical Aspects of Computing 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings - neues Buch

2010, ISBN: 3642148077

ID: A10036151

Kartoniert / Broschiert EDV / Theorie / Allgemeines, mit Schutzumschlag neu, [PU:Springer-Verlag GmbH]