Therese Hardin is Professor Emeritus at the Laboratoire d?Informatique
de Paris 6 (LIP6), Sorbonne University, France.
Mathieu Jaume is a lecturer at the Laboratoire d?Informatique de Paris 6
(LIP6), Sorbonne University, France.
Francois Pessaux is Associate Professor in the Computer Science and
Systems Engineering Unit (U2IS) of ENSTA Paris, France.
Veronique Viguie Donzeau-Gouge is Professor Emeritus at the Centre
d?etudes et de recherche en informatique (CEDRIC) of the Conservatoire
national des arts et metiers (Cnam Paris), France.
7 Ebooks por Mathieu Jaume
Therese Hardin & Mathieu Jaume: Concepts and Semantics of Programming Languages 1
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 pr …
PDF
Inglês
DRM
€139.99
Therese Hardin & Mathieu Jaume: Concepts and Semantics of Programming Languages 1
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 pr …
EPUB
Inglês
DRM
€139.99
Therese Hardin & Mathieu Jaume: Concepts and Semantics of Programming Languages 2
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 prese …
PDF
Inglês
DRM
€139.99
Therese Hardin & Mathieu Jaume: Concepts and Semantics of Programming Languages 2
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 prese …
EPUB
Inglês
DRM
€139.99
The?re?se Hardin & Mathieu Jaume: Concepts et semantique des langages de programmation 1
Cet ouvrage explore les constructions syntaxiques des langages de programmation les plus courants, avec un eclairage mathematique sur leurs semantiques et une presentation precise des aspects materie …
PDF
DRM
€257.34
The?re?se Hardin & Mathieu Jaume: Concepts et semantique des langages de programmation 2
Cet ouvrage explore les constructions syntaxiques des langages de programmation les plus courants, avec un eclairage mathematique sur leurs semantiques et une presentation precise des aspects materie …
PDF
DRM
€216.93
Mathieu Jaume & Matthieu Journault: Logique pour l”informatique
Cet ouvrage débute par une i ntroduction à la logique des prédicats du premier ordre : syntaxe, sémantique et preuves formelles. Il guide ensuite le lecteur vers quelques uns de ses aspects plus avan …
PDF
Francês
DRM
€36.03