SCIENCES SUP
Cours et exercices
SCIENCES SUP
PROGRAMMATION
Concepts, techniques et modèles
Peter Van Roy
Seif Haridi
P. VAN ROY
S. HARIDI
PROGRAMMATION
COURS
Licence • IUT • Écoles d’ingénieurs
Peter Van Roy
Seif Haridi
PROGRAMMATION
Concepts, techniques et modèles
Ce cours de programmation s’adresse à des étudiants qui ont déjà une
première expérience de la programmation, qu’ils soient en licence
d’informatique (niveaux L2 ou L3) ou en écoles d’ingénieurs.
Traduction partielle d’un cours de référence publié par MIT Press, cet
ouvrage présente l’originalité d’expliquer les concepts majeurs de la
programmation à l’aide d’une approche synthétique qui en fait ressortir
l’unité sous-jacente. Il propose une sémantique simple et complète
qui permet de comprendre tous ces concepts sans pour autant sacrifier
la rigueur. Toutes les notions théoriques présentées sont illustrées par
des centaines d’extraits de code. En outre, 51 énoncés d’exercices
fournissent au lecteur l’occasion de tester ses connaissances.
Un site gratuit avec des TP, des énoncés d’examens, des transparents,
un lexique français/anglais et d’autres suppléments… complète
utilement le livre.
Sommaire : Introduction aux concepts de programmation. La programmation
déclarative. Techniques de programmation déclarative. La programmation
concurrente dataflow. La programmation avec état explicite. La
programmation orientée objet.
Ce livre de cours est complété par un Labo interactif qui vous
permettra de compiler et d’exécuter tous les exemples de code du
livre et de nombreux autres, afin de comprendre par l’expérience
comment fonctionnent ces programmes, les modifier, voire en écrire
de nouveaux.
Ce Labo interactif est édité par ScienceActive. Il est vendu séparément
et vous pouvez vous le procurer sur le site www.scienceactive.com.
MATHÉMATIQUES
PHYSIQUE
CHIMIE
SCIENCES DE L’INGÉNIEUR
INFORMATIQUE
SCIENCES DE LA VIE
SCIENCES DE LA TERRE
1 2 3 4 5 6 7 8
LICENCE
MASTER DOCTORAT
6494124
ISBN 978-2-10-051196-9
www.dunod.com
PETER VAN ROY
est professeur à l’Université
catholique de Louvain à
Louvain-la-Neuve.
Il a lui-même traduit
et adapté son ouvrage
de l’anglais au français.
SEIF HARIDI
est professeur au Royal
Institute of Technology
(Suède) et « chief scientist »
au Swedish Institute of
Computer Science.
Cours et exercices
SCIENCES SUP
PROGRAMMATION
Concepts, techniques et modèles
Peter Van Roy
Seif Haridi
P. VAN ROY
S. HARIDI
PROGRAMMATION
COURS
Licence • IUT • Écoles d’ingénieurs
Peter Van Roy
Seif Haridi
PROGRAMMATION
Concepts, techniques et modèles
Ce cours de programmation s’adresse à des étudiants qui ont déjà une
première expérience de la programmation, qu’ils soient en licence
d’informatique (niveaux L2 ou L3) ou en écoles d’ingénieurs.
Traduction partielle d’un cours de référence publié par MIT Press, cet
ouvrage présente l’originalité d’expliquer les concepts majeurs de la
programmation à l’aide d’une approche synthétique qui en fait ressortir
l’unité sous-jacente. Il propose une sémantique simple et complète
qui permet de comprendre tous ces concepts sans pour autant sacrifier
la rigueur. Toutes les notions théoriques présentées sont illustrées par
des centaines d’extraits de code. En outre, 51 énoncés d’exercices
fournissent au lecteur l’occasion de tester ses connaissances.
Un site gratuit avec des TP, des énoncés d’examens, des transparents,
un lexique français/anglais et d’autres suppléments… complète
utilement le livre.
Sommaire : Introduction aux concepts de programmation. La programmation
déclarative. Techniques de programmation déclarative. La programmation
concurrente dataflow. La programmation avec état explicite. La
programmation orientée objet.
Ce livre de cours est complété par un Labo interactif qui vous
permettra de compiler et d’exécuter tous les exemples de code du
livre et de nombreux autres, afin de comprendre par l’expérience
comment fonctionnent ces programmes, les modifier, voire en écrire
de nouveaux.
Ce Labo interactif est édité par ScienceActive. Il est vendu séparément
et vous pouvez vous le procurer sur le site www.scienceactive.com.
MATHÉMATIQUES
PHYSIQUE
CHIMIE
SCIENCES DE L’INGÉNIEUR
INFORMATIQUE
SCIENCES DE LA VIE
SCIENCES DE LA TERRE
1 2 3 4 5 6 7 8
LICENCE
MASTER DOCTORAT
6494124
ISBN 978-2-10-051196-9
www.dunod.com
PETER VAN ROY
est professeur à l’Université
catholique de Louvain à
Louvain-la-Neuve.
Il a lui-même traduit
et adapté son ouvrage
de l’anglais au français.
SEIF HARIDI
est professeur au Royal
Institute of Technology
(Suède) et « chief scientist »
au Swedish Institute of
Computer Science.