Alfons Laarman – författare

Visar alla böcker från författaren .

1 produkt

Kategorier

1 produkt

Del 12864

Alfons Laarman, Ana Sokolova - Model Checking Software, Häftad

Del 12864 - Lecture Notes in Computer Science

Model Checking Software

27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings

AvAlfons Laarman,Ana Sokolova

Häftad, Engelska, 2021

729 kr

Skickas inom 10-15 vardagar