Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, ... Computer Science and General Issues) - Tapa blanda

9783030112448: Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, ... Computer Science and General Issues)

Tapa blanda

ISBN 10: 3030112446 ISBN 13: 9783030112448

Editorial: Springer, 2019

Ver todas las copias de esta edici�n del ISBN

The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

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

Rese�a del editor

This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

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

Editorial: Springer
A�o de publicaci�n: 2019
Idioma: Ingl�s
ISBN 10: 3030112446
ISBN 13: 9783030112448
Encuadernaci�n: Tapa blanda
N�mero de edici�n: 1
N�mero de p�ginas: 620
Editor: Enea Constantin, Piskac Ruzica
Contacto del fabricante: no disponible

Comprar nuevo

Ver este art�culo

EUR 53,49

Convertir moneda

EUR 11,00 gastos de env�o desde Alemania a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Otras ediciones populares con el mismo t�tulo

9783030112462: Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings

Edici�n Destacada

ISBN 10: 3030112462 ISBN 13: 9783030112462
Editorial: Springer, 2019
Tapa blanda

Resultados de la b�squeda para Verification, Model Checking, and Abstract Interpretation:...

Imagen del vendedor

Verification, Model Checking, and Abstract Interpretation

Ruzica Piskac

Publicado por Springer International Publishing Jan 2019, 2019

ISBN 10: 3030112446 ISBN 13: 9783030112448

Nuevo Taschenbuch

Impresi�n bajo demanda

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 -This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and AbstractInterpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, staticanalysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification,debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems. 620 pp. Englisch. N� de ref. del art�culo: 9783030112448

Contactar al vendedor

Comprar nuevo

EUR 53,49

Convertir moneda

Gastos de env�o: EUR 11,00

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13�15, 2019, Proceedings

Ruzica Piskac

Publicado por Springer International Publishing, Springer International Publishing, 2019

ISBN 10: 3030112446 ISBN 13: 9783030112448

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 - This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and AbstractInterpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, staticanalysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification,debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems. N� de ref. del art�culo: 9783030112448

Contactar al vendedor

Comprar nuevo

EUR 53,49

Convertir moneda

Gastos de env�o: EUR 11,99

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, ... Computer Science and General Issues)

Publicado por Springer, 2019

ISBN 10: 3030112446 ISBN 13: 9783030112448

Nuevo Tapa blanda

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: ria9783030112448_new

Contactar al vendedor

Comprar nuevo

EUR 61,44

Convertir moneda

Gastos de env�o: EUR 4,67

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Verification, Model Checking, and Abstract Interpretation

Enea, Constantin|Piskac, Ruzica

Publicado por Springer International Publishing, 2019

ISBN 10: 3030112446 ISBN 13: 9783030112448

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

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 20th International Conference on Verification, Model Checking, and Abstract&nbspInterpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented togeth. N� de ref. del art�culo: 258911366

Contactar al vendedor

Comprar nuevo

EUR 48,37

Convertir moneda

Gastos de env�o: EUR 19,49

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen de archivo

Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings (Lecture Notes in Computer Science)

Constantin Enea, Ruzica Piskac

Publicado por Springer 2019-01-11, 2019

ISBN 10: 3030112446 ISBN 13: 9783030112448

Nuevo Paperback

Librería: Chiron Media, Wallingford, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: New. N� de ref. del art�culo: 6666-IUK-9783030112448

Contactar al vendedor

Comprar nuevo

EUR 58,75

Convertir moneda

Gastos de env�o: EUR 17,60

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 10 disponibles

A�adir al carrito

Imagen del vendedor

Verification, Model Checking, and Abstract Interpretation

Ruzica Piskac

Publicado por Springer International Publishing, Springer Nature Switzerland Jan 2019, 2019

ISBN 10: 3030112446 ISBN 13: 9783030112448

Nuevo Taschenbuch

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Neuware -This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 620 pp. Englisch. N� de ref. del art�culo: 9783030112448

Contactar al vendedor