Automated Technology for Verification and Analysis

Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings

AvFarn Wang

E-bok
PDF, Engelska, 2004

1 420 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

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

Ultravåld

Tone Schunnesson

Inbunden, 2026

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

209 kr259 kr

Jens Ganman - Skjut Gräv Tig, Häftad
  • Nyhet
Del 2

Skjut Gräv Tig

Jens Ganman

Häftad, 2026

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

229 kr

Elle Kennedy - Snedsteget, Pocket
  • -22%
Del 2

Snedsteget

Elle Kennedy

Pocket, 2024

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

69 kr89 kr

Elle Kennedy - Målet, Pocket
  • -22%
Del 4

Målet

Elle Kennedy

Pocket, 2025

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

69 kr89 kr

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

Bröllopsgästerna

Alison Espach

Pocket, 2026

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

69 kr99 kr