Artículos relacionados a Verification, Model Checking, and Abstract Interpretation:...

Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. ... Computer Science and General Issues) - Tapa blanda

 
9783662491218: Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. ... Computer Science and General Issues)
Tapa blanda
ISBN 10: 3662491214 ISBN 13: 9783662491218
Editorial: Springer, 2015
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 este artículo
9783662491218: Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. ... Computer Science and General Issues)
EUR 54,43

Convertir moneda

Gastos de envío: GRATIS
A Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

Imagen del vendedor

Publicado por Springer (2015)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevo Soft Cover Cantidad disponible: 10
Impresión bajo demanda
Librería:
booksXpress
(Bayonne, NJ, Estados Unidos de America)
Valoración
Valoración del vendedor: Valoración 4 estrellas, Learn more about seller ratings

Descripción Soft Cover. Condición: new. This item is printed on demand. Nº de ref. del artículo: 9783662491218

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

Comprar nuevo
EUR 54,43
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

Publicado por Springer (2015)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevo Tapa blanda Cantidad disponible: > 20
Librería:
Lucky's Textbooks
(Dallas, TX, Estados Unidos de America)
Valoración
Valoración del vendedor: Valoración 5 estrellas, Learn more about seller ratings

Descripción Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020315177

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

Comprar nuevo
EUR 57,52
Convertir moneda

Añadir al carrito

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

Barbara Jobstmann
Publicado por Springer (2015)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevo Tapa blanda Cantidad disponible: > 20
Impresión bajo demanda
Librería:
Ria Christie Collections
(Uxbridge, Reino Unido)
Valoración
Valoración del vendedor: Valoración 5 estrellas, Learn more about seller ratings

Descripción Condición: New. PRINT ON DEMAND Book; New; 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 60,21
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 11,62
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor

K. Rustan M. Leino
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevo Taschenbuch Cantidad disponible: 2
Impresión bajo demanda
Librería:
BuchWeltWeit Ludwig Meier e.K.
(Bergisch Gladbach, Alemania)
Valoración
Valoración del vendedor: Valoración 4 estrellas, Learn more about seller ratings

Descripción Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - 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 providestopics 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. 572 pp. Englisch. Nº de ref. del artículo: 9783662491218

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

Comprar nuevo
EUR 53,49
Convertir moneda

Añadir al carrito

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

Publicado por Springer (2015)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevo Tapa blanda Cantidad disponible: 4
Librería:
Books Puddle
(New York, NY, Estados Unidos de America)
Valoración
Valoración del vendedor: Valoración 4 estrellas, Learn more about seller ratings

Descripción Condición: New. pp. 558. Nº de ref. del artículo: 26374914406

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

Comprar nuevo
EUR 74,40
Convertir moneda

Añadir al carrito

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

Publicado por Springer (2015)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevo Tapa blanda Cantidad disponible: 4
Impresión bajo demanda
Librería:
Majestic Books
(Hounslow, Reino Unido)
Valoración
Valoración del vendedor: Valoración 5 estrellas, Learn more about seller ratings

Descripción Condición: New. Print on Demand pp. 558. Nº de ref. del artículo: 372179641

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

Comprar nuevo
EUR 78,04
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 7,57
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

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
Valoración del vendedor: Valoración 5 estrellas, Learn more about seller ratings

Descripción Paperback. Condición: Brand New. 572 pages. 9.25x6.10x1.29 inches. In Stock. Nº de ref. del artículo: x-3662491214

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

Comprar nuevo
EUR 75,51
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 11,64
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor

K. Rustan M. Leino
Publicado por Springer Berlin Heidelberg (2015)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevo Taschenbuch Cantidad disponible: 1
Librería:
AHA-BUCH GmbH
(Einbeck, Alemania)
Valoración
Valoración del vendedor: Valoración 5 estrellas, Learn more about seller ratings

Descripción Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 providestopics 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. Nº de ref. del artículo: 9783662491218

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

Comprar nuevo
EUR 58,10
Convertir moneda

Añadir al carrito

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

Jobstmann, Barbara
Publicado por Springer 2015-12 (2015)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevo PF Cantidad disponible: 10
Librería:
Chiron Media
(Wallingford, Reino Unido)
Valoración
Valoración del vendedor: Valoración 5 estrellas, Learn more about seller ratings

Descripción PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783662491218

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

Comprar nuevo
EUR 79,83
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 17,45
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor

Jobstmann, Barbara|Leino, K. Rustan M.
Publicado por Springer Berlin Heidelberg (2015)
ISBN 10: 3662491214 ISBN 13: 9783662491218
Nuevo Tapa blanda Cantidad disponible: > 20
Impresión bajo demanda
Librería:
moluna
(Greven, Alemania)
Valoración
Valoración del vendedor: Valoración 4 estrellas, Learn more about seller ratings

Descripción Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 &nbsp24 full papers together with 2 invited . Nº de ref. del artículo: 106034100

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

Comprar nuevo
EUR 48,37
Convertir moneda

Añadir al carrito

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