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
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 …
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 …
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 …
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 …
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 …
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 …
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