Cărți de Jean Goubault-Larrecq

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12077

Editat de Jean Goubault-Larrecq et al.

18 apr 2020

Preț: 368^.38 lei

43-57 zile

Non-Hausdorff Topology and Domain Theory: Selected Topics in Point-Set Topology

New Mathematical Monographs, nr. 22

Autor Jean Goubault-Larrecq

27 mar 2013

Preț: 710^.05 lei 825^.64 lei

43-57 zile

-14%

Proof Theory and Automated Deduction

Applied Logic Series, nr. 6

Autor Jean Goubault-Larrecq et al.

30 noi 2001

Preț: 388^.66 lei

43-57 zile