Principes de la programmation informatique : Une approche mathématique
A

Principes de la programmation informatique : Une approche mathématique

Général
computer programming mathematical approach formal methods program verification Hoare logic structured programming software engineering
Auteur
Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard D. Hamlet
Éditeur
University of Tennessee, Knoxville
Année
1988
Langue
Anglais
41
Évaluer ce livre

Pour lire le livre, se connecter / s'inscrire

Aperçu du fragment

Livres similaires

Bases de la programmation et des algorithmes, principes et applications

Bases de la programmation et des algorithmes, principes et applications

Roberto Mantaci, Jean-Baptiste Yunès

Comment concevoir des programmes : Une introduction à la programmation et au calcul, deuxième édition

Comment concevoir des programmes : Une introduction à la programmation et au calcul, deuxième édition

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

Découvrir l'informatique : problèmes interdisciplinaires, principes et programmation Python

Découvrir l'informatique : problèmes interdisciplinaires, principes et programmation Python

Jessen Havill

Principes de l'informatique douce avec la programmation Python : Apprenez à déployer des modèles d'informatique douce dans des applications réelles

Principes de l'informatique douce avec la programmation Python : Apprenez à déployer des modèles d'informatique douce dans des applications réelles

Gypsy Nandi

Que peut-on calculer ? Un guide pratique de la théorie du calcul

Que peut-on calculer ? Un guide pratique de la théorie du calcul

John MacCormick

Mathématiques pour l'infographie

Mathématiques pour l'infographie

John Vince

Programmation pour Débutants Absolus : Utilisation du Langage de Programmation JavaScript

Programmation pour Débutants Absolus : Utilisation du Langage de Programmation JavaScript

Jonathan Bartlett

Programmation pour la résolution de problèmes avec C : Formulation d'algorithmes pour des problèmes complexes

Programmation pour la résolution de problèmes avec C : Formulation d'algorithmes pour des problèmes complexes

Dr. Kamaldeep

Les Pointeurs en Programmation C : Une Approche Moderne de la Gestion de la Mémoire, des Structures de Données Récursives, des Chaînes de Caractères et des Tableaux

Les Pointeurs en Programmation C : Une Approche Moderne de la Gestion de la Mémoire, des Structures de Données Récursives, des Chaînes de Caractères et des Tableaux

Thomas Mailund

C Programming: A Modern Approach, 2nd Edition

C Programming: A Modern Approach, 2nd Edition

K. N. King