Dynamic logic for an intermediate language verification, interaction and refinement
Druckausg.: | Ulbrich, Mattias, Dynamic logic for an intermediate language, Berlin : epubli, 2014, XXII, 244 S., 9783844297034 |
---|---|
Authors and Corporations: | |
Title: | Dynamic logic for an intermediate language verification, interaction and refinement von Mattias Ulbrich |
Dissertation Note: | Karlsruhe, Karlsruher Institut für Technologie (KIT), Diss., 2013 |
published: |
Karlsruhe: KIT-Bibliothek, 2013
|
Physical Description: | Online-Ressource |
ISSN/ISBN: |
9783844297034 3844297030 |
Type of Resource: | E-Book Thesis Hochschulschrift |
Source: | Verbunddaten SWB Lizenzfreie Online-Ressourcen |
Language: | English |