Yliès Falcone et Jean-Claude Fernandez - Automates à états finis et langages réguliers - Rappels des notions essentielles et plus de 170 exercices corrigés.

Automates à états finis et langages réguliers - Rappels des notions essentielles et plus de 170 exercices corrigés

Name: Automates à états finis et langages réguliers
Price: 16.99 EUR
Author: Yliès Falcone
ISBN: 9782100814244

Yliès Falcone, Jean-Claude Fernandez

Dunod
Paru le : 16/07/2020

La théorie des langages est une branche fondamentale de l'informatique dont les concepts se retrouvent dans de nombreuses disciplines comme la conception... > Lire la suite

16,99 €

E-book - PDF

Vérifier la compatibilité avec vos supports

Autres formats neufs dès 25,00 €

Grand Format À partir de 25,00 €
- Dunod - Info Sup - 16/07/2020
  
  25,00 €

La théorie des langages est une branche fondamentale de l'informatique dont les concepts se retrouvent dans de nombreuses disciplines comme la conception de processeurs, la compilation de logiciels, l'intelligence artificielle... Cette discipline qui repose sur des concepts mathématiques fait partie des connaissances théoriques indispensables pour toute formation solide en informatique. Elle est enseignée dès la licence dans certains cursus.
Ce manuel est constitué de rappels de cours et de plus de 150 exercices avec leur corrigé détaillé.

Fiche technique

Résumé
Fiche technique
Auteurs

Date de parution : 16/07/2020
Editeur : Dunod
Collection : InfoSup
ISBN : 978-2-10-081424-4
EAN : 9782100814244
Format : PDF
Nb. de pages : 320 pages

Caractéristiques du format PDF
- Pages : 320
- Taille : 11 681 Ko
- Protection num. : Contenu protégé
- Imprimable : 1 copie autorisée
- Copier coller : Non Autorisé

À propos des auteurs

Résumé
Fiche technique
Auteurs

Maître de conférences à l'Université Grenoble Alpes. Membre du Laboratoire d'Informatique de Grenoble et d'Inria Grenoble Rhône-Alpes. Il enseigne la théorie des langages et des automates, la compilation et la programmation. Ses travaux de recherche portent sur la vérification des systèmes à l'exécution et le génie logiciel rigoureux. Ancien professeur à l'Université Grenoble Alpes. Ancien membre du laboratoire Verimag.
Il a enseigné les architectures logicielles et matérielles, la théorie des langages et des automates, la sémantique et la compilation. Ses travaux de recherche portaient sur la vérification formelle et la validation de systèmes critiques.