Ebooks de Mathieu Jaume en PDF et EPUB

3 Livre(s)
Télécharger le livre : Logique pour l'informatique
Ajouter à ma liste d'envies
Feuilleter
Logique pour l'informatique
Mathieu Jaume , Matthieu Journault , Marie-Jeanne Lesot , Pascal Manoury
Cet ouvrage débute par une introduction à 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 avancés : théorème de...

Editeur : ELLIPSES
Parution : 2020-10-12
Collection : Références sciences
PDF

26,99 €
Télécharger le livre : Concepts and Semantics of Programming Languages 2
Ajouter à ma liste d'envies
Concepts and Semantics of Programming Languages 2
Therese Hardin , Mathieu Jaume , Franc¸Ois Pessaux , Veronique Viguie Donzeau-Gouge
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...

Editeur : Wiley-ISTE
Parution : 2021-08-03

PDF, ePub

163,47 €
Télécharger le livre : Concepts and Semantics of Programming Languages 1
Ajouter à ma liste d'envies
Concepts and Semantics of Programming Languages 1
Therese Hardin , Mathieu Jaume , Francois Pessaux , Veronique Viguie Donzeau-Gouge
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....

Editeur : Wiley-ISTE
Parution : 2021-04-27

PDF, ePub

163,47 €