- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Automated Technology for Verification and Analysis
7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 5799
52,95 €
+ 105 points
Description
This volume contains the papers presented at the 7th International Symposium on Automated Technologyfor Veri?cation and Analysis held during October 13- 16 in Macao SAR, China. The primary objective of the ATVA conferences - mains the same: to exchangeand promote the latest advances of state-of-the-art researchon theoretical and practical aspects of automated analysis, veri?cation, and synthesis. Among 74 research papers and 10 tool papers submitted to ATVA 2009, the Program Committee accepted 23 as regular papers and 3 as tool papers. In all, 33 experts from 17 countries worked hard to make sure that every submission received a rigorous and fair evaluation. In addition, the program included three excellenttutorialsandkeynotetalksbyMarkGreenstreet(U.BritishColumbia), Orna Grumberg (Technion), and Bill Roscoe (Oxford University). The conf- ence organizers were truly grateful to have such distinguished researchers as keynote speakers. Many worked hard and o?ered their valuable time so generously to make ATVA 2009 successful. First of all, the conference organizers thank all 229 - searchers who worked hard to complete and submit papers to the conference. ThePCmembers, reviewers, andSteeringCommitteemembersalsodeserves- cial recognition. Without them, a competitive and peer-reviewed international symposium simply cannot take place. Many organizations sponsored the symposium. They include: The United Nations University, International Institute of Software Technology (UNU-IIST); Macao Polytechnic Institute (MPI); Macao POST;and FormalMethods Europe (FME). The conference organizers thank them for their generous support and assistance.
Spécifications
Parties prenantes
- Editeur:
Contenu
- Nombre de pages :
- 414
- Langue:
- Anglais
- Collection :
- Tome:
- n° 5799
Caractéristiques
- EAN:
- 9783642047602
- Date de parution :
- 29-09-09
- Format:
- Livre broché
- Format numérique:
- Trade paperback (VS)
- Dimensions :
- 155 mm x 236 mm
- Poids :
- 657 g
