Couvre l'essentiel de l'ingénierie logicielle, en mettant l'accent sur les exigences, la modularité et l'abstraction, avec des idées et des exemples pratiques.
Couvre la conception, la mise en œuvre et la vérification formelle des systèmes distribués, en se concentrant sur les systèmes et organisations distribués vérifiables.
