Explore les fondements de la vérification modulaire en utilisant la logique de séparation pour des programmes concomitants réalistes et discute des défis de l'état mutable partagé dans la concorde.
Couvre des sujets liés à la technologie du bâtiment comme les cloisons, les chapes, les toitures et les planchers intérieurs, en discutant des matériaux et des techniques de construction.
Introduit des fonctions en Python, couvrant les fonctions prédéfinies et définies par l'utilisateur, les paramètres formels et efficaces, et l'importance des docstrings.
Analyser les réponses de la politique monétaire et budgétaire à l’accumulation de la dette publique et l’impact du Covid-19 sur les économies mondiales.
Couvre la conception et l'analyse de ponts en béton, en se concentrant sur diverses expériences avec des ponts en béton et la prise en compte de différentes actions telles que la circulation routière et les variations de température.
Couvre la conception et l'analyse des réacteurs chimiques, en mettant l'accent sur les réacteurs à lit emballé et les réacteurs à réservoir à spiration continue.
