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)
Ver todas las copias de esta edición ISBN.
 
 
Reseña del editor:

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar nuevo Ver libro

Gastos de envío: EUR 4,39
De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

1.

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

Descripción Springer, 2016. Paperback. Condición: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9783662491218_lsuk

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 67,82
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,39
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Jobstmann, Barbara
Publicado por Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2015)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevo Cantidad disponible: > 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. Condició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. del artículo: IQ-9783662491218

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 78,44
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,44
A Estados Unidos de America
Destinos, gastos y plazos de envío

3.

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

Descripción Springer, 2015. Paperback. Condición: NEW. 9783662491218 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Nº de ref. del artículo: HTANDREE0973059

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 76,11
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 9,09
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

4.

Publicado por Springer (2016)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevo Tapa blanda Cantidad disponible: 1
Librería
Valoración
[?]

Descripción Springer, 2016. Condición: New. Nº de ref. del artículo: L9783662491218

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 89,99
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

5.

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

Descripción Springer Berlin Heidelberg 2015-12-23, Berlin, 2015. paperback. Condición: New. Nº de ref. del artículo: 9783662491218

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 88,16
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,82
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

6.

Barbara Jobstmann
Publicado por Springer-Verlag Gmbh Dez 2015 (2015)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevo Taschenbuch Cantidad disponible: 1
Librería
Valoración
[?]

Descripción Springer-Verlag Gmbh Dez 2015, 2015. Taschenbuch. Condición: Neu. Neuware - This book constitutes the refereed proceedings of the 17th InternationalConference 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. del artículo: 9783662491218

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 89,99
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 12,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Barbara Jobstmann
Publicado por Springer-Verlag Gmbh Dez 2015 (2015)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevo Taschenbuch Cantidad disponible: 1
Librería
Rheinberg-Buch
(Bergisch Gladbach, Alemania)
Valoración
[?]

Descripción Springer-Verlag Gmbh Dez 2015, 2015. Taschenbuch. Condición: Neu. Neuware - This book constitutes the refereed proceedings of the 17th InternationalConference 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. del artículo: 9783662491218

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 89,99
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 17,25
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Barbara Jobstmann
Publicado por Springer-Verlag Gmbh Dez 2015 (2015)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevo Taschenbuch Cantidad disponible: 1
Librería
BuchWeltWeit Inh. Ludwig Meier e.K.
(Bergisch Gladbach, Alemania)
Valoración
[?]

Descripción Springer-Verlag Gmbh Dez 2015, 2015. Taschenbuch. Condición: Neu. Neuware - This book constitutes the refereed proceedings of the 17th InternationalConference 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. del artículo: 9783662491218

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 89,99
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 17,25
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Barbara Jobstmann
Publicado por Springer-Verlag Gmbh Dez 2015 (2015)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevo Taschenbuch Cantidad disponible: 2
Librería
AHA-BUCH GmbH
(Einbeck, Alemania)
Valoración
[?]

Descripción Springer-Verlag Gmbh Dez 2015, 2015. Taschenbuch. Condición: Neu. Neuware - This book constitutes the refereed proceedings of the 17th InternationalConference 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. del artículo: 9783662491218

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 89,99
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 29,50
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Jobstmann, Barbara (Editor)/ Leino, K. Rustan M. (Editor)
Publicado por Springer-Verlag New York Inc (2016)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevo Paperback Cantidad disponible: 2
Librería
Revaluation Books
(Exeter, Reino Unido)
Valoración
[?]

Descripción Springer-Verlag New York Inc, 2016. Paperback. Condición: Brand New. 9.25x6.10 inches. In Stock. Nº de ref. del artículo: x-3662491214

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 111,90
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 8,53
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda