3 résultat(s)
Télécharger le livre : Logique pour l'informatique
feuilleter
Mathieu Jaume , Matthieu Journault , Marie-Jeanne Lesot , Pascal Manoury
Logique pour l'informatique
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
Format(s) : PDF
26,99 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Concepts and Semantics of Programming Languages 2
Therese Hardin , Mathieu Jaume , Franc¸Ois Pessaux , Veronique Viguie Donzeau-Gouge
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 presentation of the material aspects that interfere with coding.Concepts and...
Editeur : Wiley-ISTE
Parution : 2021-08-06

Format(s) : PDF, ePub
158,20 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Concepts and Semantics of Programming Languages 1
Therese Hardin , Mathieu Jaume , Francois Pessaux , Veronique Viguie Donzeau-Gouge
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 presentation of the material aspects that interfere with coding....
Editeur : Wiley-ISTE
Parution : 2021-04-27

Format(s) : PDF, ePub
158,20 €
Téléchargement immédiat
Dès validation de votre commande