Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

AvDavid L. Dill

Engelska, 2014

667 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Produktinformation

Hoppa över listan

Du kanske också är intresserad av

Ben Lerner - Transcription, Inbunden

Transcription

Ben Lerner

Inbunden, 2026

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

179 kr

Åsa Hellberg - Den femte dagen, Pocket
  • 4 för 3
Del 1

Den femte dagen

Åsa Hellberg

Pocket, 2026

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

99 kr