INTRODUCTION A L'INFORMATIQUE THEORIQUE

BOURDA
EDF
27,75 €
Sur commande, 2 à 4 jours
EAN : 9782212016420

Cet ouvrage s'adresse aux ingénieurs et aux élèves des grandes écoles qui sont confrontés à l'informatique comme utilisateurs ou comme concepteurs. Les trois premiers chapitres sont centrés sur le modèle des machines de Turing et les méthodes utilisées pour analyser la complexité des algorithmes et celle des problèmes. Trois chapitres traitent de la sémantique des programmes. Après une introduction à l'algèbre et à la logique, un chapitre expose la description des données par les types abstraits algébriques et les diagnostics qu'il est possible d'obtenir par ces techniques. Le dernier chapitre présente le système classique de Hoare pour la vérification et la correction d'un programme par rapport à ses spécifications.

Commandé avant 16h, livré demain
Nombre de pages 236
Date de parution 06/05/1993
Poids 380g
Largeur 155mm
Plus d'informations
Plus d'informations
EAN 9782212016420
Titre INTRODUCTION A L'INFORMATIQUE THEORIQUE
Auteur BOURDA
Editeur EDF
Largeur 155
Poids 380
Date de parution 19930506
Nombre de pages 236,00 €

Pourquoi choisir Molière ?

 
Efficacité et rapidité Commandé avant 16h livré demain
 
Économique et pratique Livraison à domicile dès 5,10 €
 
Facile et sans frais Retrait gratuit en magasin
 
Sécurité et tranquillité Paiement 100 % sécurisé
 
Disponibilité et écoute Contactez-nous sur WhatsApp