Jean Goubault-Larrecq – författare

Visar alla böcker från författaren Jean Goubault-Larrecq.

3 produkter

1. 

   Non-Hausdorff Topology and Domain Theory

   Selected Topics in Point-Set Topology

   Av Jean Goubault-Larrecq

   Inbunden, 2013

   2529 kr

   Lägg i varukorg

2. 

   Proof Theory and Automated Deduction

   Av Jean Goubault-Larrecq, I. Mackie

   Häftad, 2001

   709 kr

   Lägg i varukorg

3. 

   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

   569 kr

   Lägg i varukorg