Artículos relacionados a Verification, Model Checking, and Abstract Interpretation:...
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, ... Computer Science and General Issues) - Tapa blanda
Sinopsis
This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.
The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.
"Sinopsis" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2020
- ISBN 10 3030393216
- ISBN 13 9783030393212
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de edición1
- Número de páginas488
- EditorBeyer Dirk, Zufferey Damien
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 74,71
EUR 19,49 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Verification, Model Checking, and Abstract Interpretation:...
Imagen del vendedor
Verification, Model Checking, and Abstract Interpretation
Publicado por
Springer International Publishing, 2020
ISBN 10: 3030393216
ISBN 13: 9783030393212
Nuevo
Tapa blanda
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 proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI pro. Nº de ref. del artículo: 385700059
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Verification, Model Checking, and Abstract Interpretation
Publicado por
Springer International Publishing Feb 2020, 2020
ISBN 10: 3030393216
ISBN 13: 9783030393212
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 -This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.The 21 papers presented in this volume were carefully reviewed from 44 submissions.VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. 488 pp. Englisch. Nº de ref. del artículo: 9783030393212
Cantidad disponible: 2 disponibles
Imagen de archivo
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, ... Computer Science and General Issues)
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: ria9783030393212_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proc
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783030393212
Cantidad disponible: 10 disponibles
Imagen del vendedor
Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16¿21, 2020, Proceedings
Publicado por
Springer International Publishing, Springer International Publishing, 2020
ISBN 10: 3030393216
ISBN 13: 9783030393212
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 proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.The 21 papers presented in this volume were carefully reviewed from 44 submissions.VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. Nº de ref. del artículo: 9783030393212
Cantidad disponible: 1 disponibles
Imagen de archivo
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, ... Computer Science and General Issues)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783030393212
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Verification, Model Checking, and Abstract Interpretation
Publicado por
Springer International Publishing, Springer Nature Switzerland Feb 2020, 2020
ISBN 10: 3030393216
ISBN 13: 9783030393212
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 proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Englisch. Nº de ref. del artículo: 9783030393212
Cantidad disponible: 2 disponibles
Imagen de archivo
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, USA, January 1925, 2020, Proceedings
Publicado por
Springer-Verlag New York Inc, 2020
ISBN 10: 3030393216
ISBN 13: 9783030393212
Nuevo
Paperback
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 600 pages. 9.25x6.10x1.06 inches. In Stock. Nº de ref. del artículo: x-3030393216
Cantidad disponible: 2 disponibles
Imagen de archivo
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, ... Computer Science and General Issues)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020016091
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 1621, 2020, Proceedings (Lecture Notes in Computer Science, 11990)
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: New. New. book. Nº de ref. del artículo: ERICA77330303932166
Cantidad disponible: 1 disponibles