Könyv Verification, Model Checking, and Abstract Interpretation Bernd Finkbeiner

Verification, Model Checking, and Abstract Interpretation

23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
34 726 Ft
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Ch...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2022
oldal
520
EAN
9783030945824
Enbook ID
38504817
Súly
807
Méretek
155 x 235 x 29

Teljes leírás

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.

Érdekelheti

7 807 Ft
5 866 Ft

STORY OF THE 2ND WW

Henry Steele Commager
6 522 Ft
4 343 Ft
3 202 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták