Code generation from specifications in higher-order logic

Description

München, Techn. Univ., Diss., 2009.

Links & Downloads

1. https://mediatum2.ub.tum.de/node?id=886023
2. http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20091208-886023-1-1

Tags

HOL Codegenerierung

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/643961641
Date	January 2009
Creators	Haftmann, Florian
Source Sets	OCLC
Language	English
Detected Language	English
Source	kostenfrei