Bokus

Veronique Viguie Donzeau-Gouge – författare

Visar alla böcker från författaren Veronique Viguie Donzeau-Gouge. Handla med fri frakt och snabb leverans.

7 produkter

  1. Veronique Viguie Donzeau-Gouge, Francois Pessaux, Mathieu Jaume, Therese Hardin - Concepts and Semantics of Programming Languages 1, E-bok. Tillgänglighet: Lägg i varukorg

    Concepts and Semantics of Programming Languages 1

    A Semantical Approach with OCaml and Python

    Av Veronique Viguie Donzeau-Gouge, Francois Pessaux m. fl.

    E-bok, 2021

    2248 kr

    Lägg i varukorg

    This book – the first of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, while also providing an accurate presentation of the material aspects that interfere with coding. Concepts and Semantics of …

  2. Veronique Viguie Donzeau-Gouge, Francois Pessaux, Mathieu Jaume, Therese Hardin - Concepts and Semantics of Programming Languages 1, E-bok. Tillgänglighet: Lägg i varukorg

    Concepts and Semantics of Programming Languages 1

    A Semantical Approach with OCaml and Python

    Av Veronique Viguie Donzeau-Gouge, Francois Pessaux m. fl.

    E-bok, 2021

    2248 kr

    Lägg i varukorg

    This book – the first of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, while also providing an accurate presentation of the material aspects that interfere with coding. Concepts and Semantics of …

  3. Veronique Viguie Donzeau-Gouge, Franc ois Pessaux, Mathieu Jaume, Therese Hardin - Concepts and Semantics of Programming Languages 2, E-bok. Tillgänglighet: Lägg i varukorg

    Concepts and Semantics of Programming Languages 2

    Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java

    Av Veronique Viguie Donzeau-Gouge, Franc ois Pessaux m. fl.

    E-bok, 2021

    2315 kr

    Lägg i varukorg

    This book – composed of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with coding. Concepts and Semantics of Programming …

  4. Therese Hardin, Mathieu Jaume, Francois Pessaux, Veronique Viguie Donzeau-Gouge - Concepts and Semantics of Programming Languages 1, Inbunden. Tillgänglighet: Lägg i varukorg

    Concepts and Semantics of Programming Languages 1

    A Semantical Approach with OCaml and Python

    Av Therese Hardin, Mathieu Jaume m. fl.

    Inbunden, 2021

    1874 kr

    Lägg i varukorg

    This book – the first of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, while also providing an accurate presentation of the material aspects that interfere with coding. Concepts and Semantics of …

  5. Therese Hardin, Mathieu Jaume, François Pessaux, Veronique Viguie Donzeau-Gouge - Concepts and Semantics of Programming Languages 2, Inbunden. Tillgänglighet: Lägg i varukorg

    Concepts and Semantics of Programming Languages 2

    Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java

    Av Therese Hardin, Mathieu Jaume m. fl.

    Inbunden, 2021

    1930 kr

    Lägg i varukorg

    This book – composed of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with coding.Concepts and Semantics of Programming …

  6. Elie Najm, Jean-Francois Pradat-Peyre, Véronique Viguié Donzeau-Gouge - Formal Techniques for Networked and Distributed Systems - FORTE 2006, Häftad. Tillgänglighet: Lägg i varukorg

    Formal Techniques for Networked and Distributed Systems - FORTE 2006

    26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings

    Av Elie Najm, Jean-Francois Pradat-Peyre m. fl.

    Häftad, 2006

    1126 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006. The 26 revised full papers and 4 short papers presented together with 3 invited lectures …

  7. Veronique Viguie Donzeau-Gouge, Jean-Francois Pradat-Peyre, Elie Najm - Formal Techniques for Networked and Distributed Systems - FORTE 2006, E-bok. Tillgänglighet: Lägg i varukorg

    Formal Techniques for Networked and Distributed Systems - FORTE 2006

    26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings

    Av Veronique Viguie Donzeau-Gouge, Jean-Francois Pradat-Peyre m. fl.

    E-bok, 2006

    1502 kr

    Lägg i varukorg