Stéphane Demri - Böcker

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

4 produkter

Böcker

4 produkter

Del 58

Stéphane Demri, Valentin Goranko, Martin Lange, Paris) Demri, Stephane (Centre National de la Recherche Scientifique (CNRS), Valentin (Stockholms Universitet) Goranko, Germany) Lange, Martin (Universitat Kassel, Stéphane Demri - Temporal Logics in Computer Science, Inbunden

Del 58 - Cambridge Tracts in Theoretical Computer Science

Temporal Logics in Computer Science

Av Stéphane Demri, Valentin Goranko, Martin Lange, Paris) Demri, Stephane (Centre National de la Recherche Scientifique (CNRS), Valentin (Stockholms Universitet) Goranko, Germany) Lange, Martin (Universitat Kassel, Stéphane Demri

Inbunden, Engelska, 2016

1 959 kr

Tillfälligt slut

Lev Beklemishev, Stephane Demri, Andras Mate - Advances in Modal Logic Volume 11, Häftad

Advances in Modal Logic Volume 11

Av Lev Beklemishev, Stephane Demri, Andras Mate

Häftad, Engelska, 2016

379 kr

Skickas inom 5-8 vardagar

Nyhet

Stéphane Demri - Concise Introduction to Alternating-Time Temporal Logics, Inbunden

Concise Introduction to Alternating-Time Temporal Logics

Av Stéphane Demri

Inbunden, Engelska, 2026

1 069 kr

Kommande

Stéphane Demri, Deepak Kapur, Christoph Weidenbach, Stephane Demri - Automated Reasoning, Häftad

Automated Reasoning

Av Stéphane Demri, Deepak Kapur, Christoph Weidenbach, Stephane Demri

Häftad, Engelska, 2014

719 kr

Skickas inom 10-15 vardagar