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.
5 Ebooks bởi 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 …
PDF
Anh
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 …
EPUB
Anh
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 …
PDF
DRM
€256.22
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 …
PDF
DRM
€217.35
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
tiếng Pháp
DRM
€37.05