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.):
Vendido por Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Alemania
Miembro de asociación:
Vendedor de AbeBooks desde 3 de mayo de 2002
Usado - Encuadernación de tapa blanda
Condición: Usado - Como Nuevo
Cantidad disponible: 1 disponibles
Añadir al carrito