Gå direkt till innehållet
  1. Böcker
  2. Böcker på engelska

Verification, Model Checking, and Abstract Interpretation

940 kr
Lägsta pris på PriceRunner

Undertitel
27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings
ISBN
9783032156990
Språk
engelska
Vikt
281 gram
Utgivningsdatum
2026-01-13
Sidor
410