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ț: 335^.42 lei 419^.28 lei

43-57 zile

-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ț: 660^.72 lei 885^.56 lei

Indisponibil temporar

-25%