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

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

Yliès Falcone

Jean-Claude Fernandez

Note moyenne

Donner le premier avis

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.

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

Ebook 16,99 € Grand format 25,00 € Voir tous les
formats

Vous pouvez lire cet ebook sur les supports de lecture suivants :

Téléchargement immédiat

Dès validation de votre commande

Offrir maintenant

Ou planifier dans votre panier

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é.

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é

Écoutez ce qu'en disent nos libraires !

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.