Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings (Lecture Notes in Computer Science)

0 valoración promedio
( 0 valoraciones por Goodreads )
 
9783662491218: Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings (Lecture Notes in Computer Science)

This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The  24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions. VMCAI provides topics including: program verification, model checking, abstractinterpretation and abstract domains, program synthesis, static analysis,type systems, deductive methods, program certification, debugging techniques,program transformation, optimization, hybrid and cyber-physical systems.

"Sinopsis" puede pertenecer a otra edición de este libro.

Los mejores resultados en AbeBooks

1.

Jobstmann, Barbara
Editorial: Springer (2016)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevos Paperback Cantidad: 1
Impresión bajo demanda
Librería
Ria Christie Collections
(Uxbridge, Reino Unido)
Valoración
[?]

Descripción Springer, 2016. Paperback. Estado de conservación: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Nº de ref. de la librería ria9783662491218_lsuk

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 65,04
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,06
De Reino Unido a España
Destinos, gastos y plazos de envío

2.

BARBARA JOBSTMANN
Editorial: Springer (2015)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevos Paperback Cantidad: 1
Librería
Herb Tandree Philosophy Books
(Stroud, GLOS, Reino Unido)
Valoración
[?]

Descripción Springer, 2015. Paperback. Estado de conservación: NEW. 9783662491218 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Nº de ref. de la librería HTANDREE0973059

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 60,64
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 8,72
De Reino Unido a España
Destinos, gastos y plazos de envío

3.

Barbara Jobstmann
Editorial: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2015)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2015. PAP. Estado de conservación: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería LQ-9783662491218

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 61,69
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 8,73
De Reino Unido a España
Destinos, gastos y plazos de envío

4.

Barbara Jobstmann (editor), K. Rustan M. Leino (editor)
Editorial: Springer Berlin Heidelberg 2015-12-26, Berlin (2015)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevos paperback Cantidad: 10
Librería
Blackwell's
(Oxford, OX, Reino Unido)
Valoración
[?]

Descripción Springer Berlin Heidelberg 2015-12-26, Berlin, 2015. paperback. Estado de conservación: New. Nº de ref. de la librería 9783662491218

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 71,53
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,18
De Reino Unido a España
Destinos, gastos y plazos de envío

5.

Barbara Jobstmann
Editorial: Springer-Verlag Gmbh Feb 2016 (2016)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevos Taschenbuch Cantidad: 1
Librería
Valoración
[?]

Descripción Springer-Verlag Gmbh Feb 2016, 2016. Taschenbuch. Estado de conservación: Neu. Neuware - This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems. 558 pp. Englisch. Nº de ref. de la librería 9783662491218

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 77,04
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,95
De Alemania a España
Destinos, gastos y plazos de envío

6.

Barbara Jobstmann
Editorial: Springer-Verlag Gmbh Feb 2016 (2016)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevos Taschenbuch Cantidad: 1
Librería
AHA-BUCH GmbH
(Einbeck, Alemania)
Valoración
[?]

Descripción Springer-Verlag Gmbh Feb 2016, 2016. Taschenbuch. Estado de conservación: Neu. Neuware - This book constitutes the refereed proceedings of the 17th International 558 pp. Englisch. Nº de ref. de la librería 9783662491218

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 77,04
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 8,91
De Alemania a España
Destinos, gastos y plazos de envío

7.

Barbara Jobstmann
Editorial: Springer-Verlag Gmbh Feb 2016 (2016)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevos Taschenbuch Cantidad: 1
Librería
Rheinberg-Buch
(Bergisch Gladbach, Alemania)
Valoración
[?]

Descripción Springer-Verlag Gmbh Feb 2016, 2016. Taschenbuch. Estado de conservación: Neu. Neuware - This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems. 558 pp. Englisch. Nº de ref. de la librería 9783662491218

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 77,04
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 9,91
De Alemania a España
Destinos, gastos y plazos de envío

8.

Barbara Jobstmann
Editorial: Springer-Verlag Gmbh Feb 2016 (2016)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevos Taschenbuch Cantidad: 1
Librería
Agrios-Buch
(Bergisch Gladbach, Alemania)
Valoración
[?]

Descripción Springer-Verlag Gmbh Feb 2016, 2016. Taschenbuch. Estado de conservación: Neu. Neuware - This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems. 558 pp. Englisch. Nº de ref. de la librería 9783662491218

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 77,04
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 9,91
De Alemania a España
Destinos, gastos y plazos de envío

9.

Barbara Jobstmann
Editorial: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2015)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Pbshop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2015. PAP. Estado de conservación: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería IQ-9783662491218

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 82,84
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 8,08
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

10.

Editorial: Springer (2016)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevos Tapa blanda Primera edición Cantidad: 1
Librería
Valoración
[?]

Descripción Springer, 2016. Estado de conservación: New. Nº de ref. de la librería L9783662491218

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 89,88
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,99
De Alemania a España
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda