Bokus
Damien Zufferey, Dirk Beyer - Verification, Model Checking, and Abstract Interpretation, E-bok

E-bok, Engelska, 2020

Verification, Model Checking, and Abstract Interpretation

Av Damien Zufferey, Dirk Beyer

1138 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet

Beskrivning
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. 
Produktinformation
  • Utgivningsdatum: 2020-01-14
  • Språk: Engelska
  • Filformat: EPUB
  • Kopieringsskydd: LCP
  • ISBN: 9783030393229
  • Förlag: Springer International Publishing
Utforska kategorier
Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.