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

Av Stéphane Demri, Valentin Goranko m. fl

Inbunden, Engelska, 2016

1 959 kr

Tillfälligt slut

Advances in Modal Logic Volume 11

Av Lev Beklemishev, Stephane Demri m. fl

Häftad, Engelska, 2016

379 kr

Skickas inom 7-10 vardagar

Nyhet

Concise Introduction to Alternating-Time Temporal Logics

A Guide for Understanding the Model-Checking Problem

Av Stéphane Demri

Inbunden, Engelska, 2026

969 kr

Kommande

Automated Reasoning

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

Av Stéphane Demri, Deepak Kapur m. fl

Häftad, Engelska, 2014

709 kr

Skickas inom 10-15 vardagar