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 |