Ana Sokolova - Böcker

Visar alla böcker från författaren Ana Sokolova.
3 produkter
Alexey Gotsman, Ana Sokolova - Formal Techniques for Distributed Objects, Components, and Systems, Häftad

Formal Techniques for Distributed Objects, Components, and Systems

Av Alexey Gotsman, Ana Sokolova

Häftad, Engelska, 2020

959 kr

Skickas inom 7-10 vardagar
Alfons Laarman, Ana Sokolova - Model Checking Software, Häftad

Model Checking Software

Av Alfons Laarman, Ana Sokolova

Häftad, Engelska, 2021

739 kr

Skickas inom 7-10 vardagar
Laura Kovács, Ana Sokolova, Laura Kovacs - Reachability Problems, Häftad
Del 15050 - Lecture Notes in Computer Science

Reachability Problems

Av Laura Kovács, Ana Sokolova, Laura Kovacs

Häftad, Engelska, 2024

849 kr

Skickas inom 7-10 vardagar