Ein Fachband aus der siebten FOSSACS-Konferenz präsentiert fortgeschrittene Konzepte der Softwarewissenschaft, darunter Typentheorie, verteilte Systeme und formale Verifikation, ergänzt durch praxisnahe Fallstudien zur Optimierung von Algorithmen.