
Theoretical Aspects of Computing
Kurzinformation



inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar

Beschreibung
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. von Cavalcanti, Ana
Produktdetails

So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- paperback
- 206 Seiten
- Erschienen 1989
- Springer
- Gebunden
- 2264 Seiten
- Erschienen 2012
- Springer
- Hardcover
- 756 Seiten
- Erschienen 2011
- Cambridge University Press
- hardcover
- 514 Seiten
- Erschienen 1982
- Birkhäuser Verlag
- Hardcover
- 180 Seiten
- Erschienen 2006
- Cambridge University Press
- Hardcover
- 504 Seiten
- Erschienen 1973
- Springer
- paperback
- 296 Seiten
- Erschienen 2008
- Springer
- Hardcover
- 300 Seiten
- Erschienen 1971
- Springer
- Hardcover -
- Erschienen 1991
- John Wiley & Sons
- Hardcover -
- Erschienen 1997
- Springer