Theoretical Aspects of Computing 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings Ana Cavalcanti Taschenbuch Lecture Notes in Computer Science - Paperback

2010, ISBN: 9783642148071

[ED: Taschenbuch], [PU: Springer Berlin], The now well-established series of International Colloquia on Theoretical - pects of Computing (ICTAC) brings together practitionersand researche… More...

[ED: Taschenbuch], [PU: Springer Berlin], 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., DE, Neuware, gewerbliches Angebot, 397, [GW: 623g], Sofortüberweisung, PayPal, Banküberweisung<

Shipping costs:Zzgl. Versandkosten., plus shipping costs

2010, ISBN: 9783642148071

[ED: Softcover], [PU: Springer, Berlin], The now well-established series of International Colloquia on Theoretical - pects of Computing (ICTAC) brings together practitionersand researcher… More...

[ED: Softcover], [PU: Springer, Berlin], 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. 2010. xiii, 397 S. 60 SW-Abb. 237 mm Sofort lieferbar, DE, [SC: 0.00], Neuware, gewerbliches Angebot, Offene Rechnung (Vorkasse vorbehalten)<

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00)

2010

ISBN: 9783642148071

ID: 70509333

Erscheinungsdatum: 10/2010, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theoretical Aspects of Computing, Titelzusatz: 7th International Colloquium, Natal, Rio Grande do… More...

Erscheinungsdatum: 10/2010, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theoretical Aspects of Computing, Titelzusatz: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings, Redaktion: Cavalcanti, Ana, Verlag: Springer-Verlag GmbH // Springer Berlin, Sprache: Englisch, Schlagworte: EDV // Theorie // Allgemeines // Mathematik // Informatik // Computer // Schnittstelle // Theoretische Informatik // Algorithmen und Datenstrukturen, Rubrik: Informatik, Seiten: 397, Reihe: Lecture Notes in Computer Science (Nr. 6255) // Theoretical Computer Science and General Issues, Gewicht: 623 gr, Verkäufer: averdo Sachbücher, [PU: Springer, Berlin/Heidelberg/New York, NY]<

Nr. 70509333. Shipping costs:, Next Day, DE. (EUR 0.00)

2010, ISBN: 9783642148071

ID: 232dff758764595a12616b5c4b265d1a

Letzte Aktualisierung am: 09.11.19 06:01:21 Binding: Taschenbuch, Edition: 2010, Label: Springer, Publisher: Springer, medium: Taschenbuch, numberOfPages: 397, publicationDate: 2010-08-11… More...

Letzte Aktualisierung am: 09.11.19 06:01:21 Binding: Taschenbuch, Edition: 2010, Label: Springer, Publisher: Springer, medium: Taschenbuch, numberOfPages: 397, publicationDate: 2010-08-11, publishers: Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, James Woodcock, languages: english, ISBN: 3642148077 Bücher, Ana Cavalcanti<

Nr. M03642148077LibriNew. Shipping costs:, , zzgl. Versandkosten., plus shipping costs