ich kaempfe mich gerade durch die letzten beiden Kurseinheiten. Um das Thema Praedikatenlogik und Programmverifikation besser zu verstehen, bin ich auf der Suche nach Sekundaerliteratur.
Kann mir jemand von Euch einen Tipp geben?
Sekundaerliteratur 'Programmverifikation'
Content
Comments
lindlahr
Contributions on this page: 1
View profile[url=https://wwwswt.informatik.uni-rostock.de/deutsch/Mitarbeiter/michael/lehre/Slides/Hoare/sld001.htm]Verifikation mit dem[/url]