Verification, Model Checking, and Abstract Interpretation

6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

AvRadhia Cousot

E-bok
PDF, Engelska, 2005

708 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

Alison Espach - Bröllopsgästerna, Pocket
  • -30%

Bröllopsgästerna

Alison Espach

Pocket, 2026

3,3 utav 5 stjärnor. Totalt antal röster:(7)

69 kr99 kr

Tone Schunnesson - Ultravåld, Inbunden
  • -19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

4,0 utav 5 stjärnor. Totalt antal röster:(6)

209 kr259 kr