Vai al contenuto

Sessione

Sessione

OtiumBookshelf

Otium prende il nome dal tempo sottratto al rumore: quello che dedichi ai libri, agli appunti, alla memoria personale e alle relazioni tra lettori.

Prodotto

Home
Perche Otium
Come funziona
Blog

Community

Top Lettori
Community
Che cos'è Otium Bookshelf
Press
Aiuto
Contatto

Legale

Privacy
Termini
Cookie

© 2026 Otium Bookshelf

Il tempo dedicato a ciò che conta davvero.

Copertine da Open Library

Sessione

Sessione

Caricamento sessione

Stéphane Demri

Autori›Stéphane Demri

SD

Stéphane Demri

Non abbiamo ancora una biografia di Stéphane Demri.

Opere: 3
Edizioni: 4
Lingue: 1

Pubblicato in Inglese

Accedi per seguire

I libri più noti

Tutti i libri di Stéphane Demri

Automated Reasoning
2014
Temporal Logics in Computer Science
2016
Temporal Logics in Computer Science - Classical Theory
2016