Stéphane Demri - Böcker

Visar alla böcker från författaren Stéphane Demri.

4 produkter

Kategorier

4 produkter

Del 58

Del 58 - Cambridge Tracts in Theoretical Computer Science

Temporal Logics in Computer Science

Finite-State Systems

Inbunden, Engelska, 2016

1 959 kr

Tillfälligt slut

Häftad, Engelska, 2016

379 kr

Skickas inom 5-8 vardagar

A Guide for Understanding the Model-Checking Problem

Inbunden, Engelska, 2026

919 kr

Kommande

7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Häftad, Engelska, 2014

699 kr

Skickas inom 10-15 vardagar