Eintrag weiter verarbeiten
Dynamic logic for an intermediate language: verification, interaction and refinement
Gespeichert in:
Druckausg.: | Ulbrich, Mattias, Dynamic logic for an intermediate language, Berlin : epubli, 2014, XXII, 244 S. |
---|---|
Personen und Körperschaften: | |
Titel: | Dynamic logic for an intermediate language: verification, interaction and refinement/ von Mattias Ulbrich |
Hochschulschriftenvermerk: | Karlsruhe, Karlsruher Institut für Technologie (KIT), Diss., 2013 |
veröffentlicht: |
Karlsruhe:
KIT-Bibliothek,
2013
|
Umfang: | Online-Ressource |
Format: | E-Book Hochschulschrift |
Quelle: |
Verbunddaten SWB Lizenzfreie Online-Ressourcen |
Sprache: | Englisch |