Cărți de Stéphane Demri

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

Lecture Notes in Computer Science, nr. 8562

Editat de Stéphane Demri et al.

4 aug 2014

Preț: 339^.48 lei 424^.35 lei

6-8 săpt.

-20%

Temporal Logics in Computer Science: Finite-State Systems

Cambridge Tracts in Theoretical Computer Science, nr. 58

Autor Stéphane Demri et al.

12 oct 2016

Preț: 664^.55 lei 885^.58 lei

Indisponibil temporar

-25%