Libros importados con hasta 50% OFF + Envío Gratis a todo USA  Ver más

menu

0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional
portada Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, Vmcai 2022, Philadelphia, Pa, Usa, January 16-18, 2022, Proc (in English)
Type
Physical Book
Publisher
Language
Inglés
Pages
520
Format
Paperback
Dimensions
23.4 x 15.6 x 2.7 cm
Weight
0.73 kg.
ISBN13
9783030945824

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, Vmcai 2022, Philadelphia, Pa, Usa, January 16-18, 2022, Proc (in English)

Finkbeiner, Bernd ; Wies, Thomas (Author) · Springer · Paperback

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, Vmcai 2022, Philadelphia, Pa, Usa, January 16-18, 2022, Proc (in English) - Finkbeiner, Bernd ; Wies, Thomas

Physical Book

$ 94.73

$ 99.99

You save: $ 5.26

5% discount
  • Condition: New
It will be shipped from our warehouse between Wednesday, June 26 and Thursday, June 27.
You will receive it anywhere in United States between 1 and 3 business days after shipment.

Synopsis "Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, Vmcai 2022, Philadelphia, Pa, Usa, January 16-18, 2022, Proc (in English)"

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews