Automated Technology for Verification and Analysis. 4th international symposium ; proceedings.ATVA 2006, Beijing, China, October 23 - 26, 2006. (=Lecture notes in computer science ; Vol. 4218).

Graf, Susanne and Wenhui Zhang (Edts.):

Edité par Berlin, Springer, 2006

A propos de cet article

XIV, 540 S. : Ill. Like new. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 920.

N° de réf. du vendeur 817328

Détails bibliographiques

• Titre: Automated Technology for Verification and Analysis. 4th international symposium ; proceedings.ATVA 2006, Beijing, China, October 23 - 26, 2006. (=Lecture notes in computer science ; Vol. 4218).
• Éditeur: Berlin, Springer
• Date de parution: 2006
• Langue: anglais
• Reliure: Paperback
• État de l'article: Wie neu
• Poids: 920 grammes
• Catalogues du vendeur:
  • Informatik, Hardware, Software