Jean Goubault-Larrecq – författare
Visar alla böcker från författaren Jean Goubault-Larrecq. Handla med fri frakt och snabb leverans.
5 produkter
Non-Hausdorff Topology and Domain Theory
Selected Topics in Point-Set Topology
Inbunden, 2013
1944 kr
Lägg i varukorg
This unique book on modern topology looks well beyond traditional treatises and explores spaces that may, but need not, be Hausdorff. This is essential for domain theory, the cornerstone of semantics of computer languages, where the Scott topology is almost never Hausdorff. For the first time in a …
Non-Hausdorff Topology and Domain Theory
Selected Topics in Point-Set Topology
E-bok, 2013
1663 kr
Lägg i varukorg
This unique book on modern topology looks well beyond traditional treatises and explores spaces that may, but need not, be Hausdorff. This is essential for domain theory, the cornerstone of semantics of computer languages, where the Scott topology is almost never Hausdorff. For the first time in a …
Non-Hausdorff Topology and Domain Theory
Selected Topics in Point-Set Topology
E-bok, 2013
1663 kr
Lägg i varukorg
This unique book on modern topology looks well beyond traditional treatises and explores spaces that may, but need not, be Hausdorff. This is essential for domain theory, the cornerstone of semantics of computer languages, where the Scott topology is almost never Hausdorff. For the first time in a …
Proof Theory and Automated Deduction
Av Jean Goubault-Larrecq, I. Mackie
Häftad, 2001
552 kr
Lägg i varukorg
The last twenty years have witnessed an accelerated development of pure and ap plied logic, particularly in response to the urgent needs of computer science. Many traditional logicians have developed interest in applications and in parallel a new generation of researchers in logic has arisen from …
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
Av Jean Goubault-Larrecq, Barbara König
Häftad, 2020
442 kr
Lägg i varukorg
This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of …
