Artículos relacionados a Verification, Model Checking, and Abstract Interpretation:...
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings: ... Computer Science and General Issues) - Tapa blanda
Sinopsis
The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007. This event was co-located with the Symposium on Principles of Programming Languages (POPL 2007). The 21 revised full papers presented together with three invited lectures and three invited tutorials were carefully reviewed and selected from a total of 85 submissions.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007. This event was co-located with the Symposium on Principles of Programming Languages (POPL 2007). The 21 revised full papers presented together with three invited lectures and three invited tutorials were carefully reviewed and selected from a total of 85 submissions.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2007
- ISBN 10 3540697357
- ISBN 13 9783540697350
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas412
- EditorCook Byron
- Contacto del fabricanteno disponible
EUR 4,46
EUR 65,07 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 64,40
GRATIS gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Verification, Model Checking, and Abstract Interpretation:...
Imagen de archivo
Verification, Model Checking, And Abstract Interpretation
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABNR-93350
Cantidad disponible: 1 disponibles
Imagen del vendedor
Verification, Model Checking, and Abstract Interpretation
Publicado por
Springer Berlin Heidelberg Jan 2007, 2007
ISBN 10: 3540697357
ISBN 13: 9783540697350
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007. This event was co-located with the Symposium on Principles of Programming Languages (POPL 2007). The 21 revised full papers presented together with three invited lectures and three invited tutorials were carefully reviewed and selected from a total of 85 submissions. 412 pp. Englisch. Nº de ref. del artículo: 9783540697350
Cantidad disponible: 2 disponibles
Imagen del vendedor
Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings
Publicado por
Springer Berlin Heidelberg, 2007
ISBN 10: 3540697357
ISBN 13: 9783540697350
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007. This event was co-located with the Symposium on Principles of Programming Languages (POPL 2007). The 21 revised full papers presented together with three invited lectures and three invited tutorials were carefully reviewed and selected from a total of 85 submissions. Nº de ref. del artículo: 9783540697350
Cantidad disponible: 1 disponibles
Imagen de archivo
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture Notes in Computer Science, 4349)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540697350_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Verification, Model Checking, and Abstract Interpretation
Publicado por
Springer Berlin Heidelberg, 2007
ISBN 10: 3540697357
ISBN 13: 9783540697350
Nuevo
Kartoniert / Broschiert
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Kartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007. This event was co-located with the Symposium on Principles o. Nº de ref. del artículo: 4898880
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture Notes in Computer Science)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Interior clean and unmarked. Tight binding. Nº de ref. del artículo: UTD1421183
Cantidad disponible: 1 disponibles
Imagen de archivo
Verification, Model Checking, and Abstract Interpretation
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 412 Illus. Nº de ref. del artículo: 7546075
Cantidad disponible: 1 disponibles
Imagen de archivo
Verification, Model Checking, and Abstract Interpretation
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 412. Nº de ref. del artículo: 26301828
Cantidad disponible: 1 disponibles
Imagen del vendedor
Verification, Model Checking, and Abstract Interpretation
Publicado por
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 2007, 2007
ISBN 10: 3540697357
ISBN 13: 9783540697350
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Neuware -The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007. This event was co-located with the Symposium on Principles of Programming Languages (POPL 2007). The 21 revised full papers presented together with three invited lectures and three invited tutorials were carefully reviewed and selected from a total of 85 submissions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch. Nº de ref. del artículo: 9783540697350
Cantidad disponible: 2 disponibles
Imagen de archivo
Verification, Model Checking, and Abstract Interpretation
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 412. Nº de ref. del artículo: 18301838
Cantidad disponible: 1 disponibles