Verification, Model Checking, and Abstract Interpretation

Du sparer 0% ift. ordinær pris Spar 0%

Paperback
2-4 uker
1 162,-

Om Verification, Model Checking, and Abstract Interpretation

This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021.

Vis mer

Språk:
Engelsk

ISBN:
9783030670665

Forlag:
Springer Nature Switzerland AG

Bindende:
Paperback

Sider:
604

Utgitt:
12 januar 2021

Utgave:
12021

Dimensjoner:
155x235x0 mm.

Vekt:
937 g.

1 162,-
~~1 162,-~~

Gratis frakt

Leveringstid: 2-4 uker

Forventet levering: 30 oktober 2024

Beskrivelse av Verification, Model Checking, and Abstract Interpretation

This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021.

Brukervurderinger av Verification, Model Checking, and Abstract Interpretation

Andre har også kjøpt..

Finn lignende bøker

Boken Verification, Model Checking, and Abstract Interpretation finnes i følgende kategorier:

Bedrift og læring > Data og IT

Verification, Model Checking, and Abstract Interpretation

Beskrivelse av Verification, Model Checking, and Abstract Interpretation

Brukervurderinger av Verification, Model Checking, and Abstract Interpretation

Gjør som tusenvis av andre bokelskere