Close modal Añadir a biblioteca Todavía no tienes listas. Crea una en Biblioteca. Ir a Biblioteca Cambiar estado Comprar en Amazon Close modal Añadir a biblioteca Todavía no tienes listas. Crea una en Biblioteca. Ir a Biblioteca Cambiar estado Comprar en Amazon Detalles Resumen Discusiones Reseñas Verification, Model Checking, and Abstract Interpretation de Andreas Podelski,Byron Cook Idioma Alemán Publicado en 2008 Editorial Springer Páginas 416 ISBN 9783540834823 Temas Computers & Technology Programming Specialty Boutique New, Used & Rental Textbooks Software Design, Testing & Engineering Programming Languages Nueva discusión Aún no hay discusiones sobre este libro. Close modal Eliminar discusión ¿Seguro que quieres borrar esta discusión? Esta acción no se puede deshacer. Cancelar Eliminar Escribir reseña Aún no hay reseñas. ¡Sé el primero en opinar! Close modal Eliminar reseña ¿Seguro que quieres borrar esta reseña? Esta acción no se puede deshacer. Cancelar Eliminar
Verification, Model Checking, and Abstract Interpretation de Andreas Podelski,Byron Cook Idioma Alemán Publicado en 2008 Editorial Springer Páginas 416 ISBN 9783540834823 Temas Computers & Technology Programming Specialty Boutique New, Used & Rental Textbooks Software Design, Testing & Engineering Programming Languages
