Code generation from specifications in higher-order logic

Bibliographische Detailangaben

1. Verfasser:	Haftmann, Florian 1979- (VerfasserIn)
Format:	Abschlussarbeit Buch
Sprache:	English
Veröffentlicht:	2009
Schlagworte:	HOL Codegenerierung Hochschulschrift
Online-Zugang:	kostenfrei https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20091208-886023-1-1
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!