Eléments de programmation - De l’algorithme au programme Python - Grand Format

Note moyenne 
Ce livre aborde les concepts fondamentaux de la programmation dans le contexte d'une méthodologie rigoureuse de développement logiciel. La spécification... Lire la suite
34,00 € Neuf
Expédié sous 3 à 6 jours
Livré chez vous entre le 30 avril et le 3 mai
En librairie

Résumé

Ce livre aborde les concepts fondamentaux de la programmation dans le contexte d'une méthodologie rigoureuse de développement logiciel. La spécification précise des problèmes posés et la conception algorithmique permettant de les résoudre occupent une place aussi importante que la programmation proprement dite des solutions, de même que la validation de ces programmes par le test. Basé sur le cours d'introduction à la programmation pour les étudiants de licence de première année scientifique de Sorbonne Université, cet ouvrage ne demande aucun prérequis de programmation et peut donc tout à fait être abordé par des étudiants de première et de terminale, ainsi que toute personne intéressée par les concepts de fondamentaux de résolution de problèmes et de programmation.
Les programmes du livre sont rédigés dans le langage Python (version minimale 3.6) en exploitant les annotations de type et optionnellement l'outil MyPy. Un environnement simplifié de programmation, MrPython, est également proposé en complément de l'ouvrage, et disponible gratuitement.

Caractéristiques

  • Date de parution
    01/09/2020
  • Editeur
  • Collection
  • ISBN
    978-2-340-04106-6
  • EAN
    9782340041066
  • Format
    Grand Format
  • Présentation
    Broché
  • Nb. de pages
    358 pages
  • Poids
    0.7 Kg
  • Dimensions
    19,1 cm × 24,0 cm × 2,0 cm

Avis libraires et clients

Avis audio

Écoutez ce qu'en disent nos libraires !

À propos des auteurs

Frédéric Peschanski est maître de conférences à Sorbonne Université et chercheur en informatique au laboratoire LIP6. Il enseigne essentiellement la programmation, de la licence au master, et s'intéresse beaucoup à 1a validation des programmes, c'est-à-dire les techniques permettant de garantir qu'un logiciel réalise correctement la tâche pour laquelle il a été programmé. Romain Demangeon est enseignant-chercheur au LIP6 et responsable du cours Eléments de programmation 1 de Sorbonne Université.
II s'intéresse aux méthodes formelles, à l'analyse statique et aux systèmes de types pour la validation des programmes concurrents.

Des mêmes auteurs

Derniers produits consultés

34,00 €