Return to search

A calculational approach to program inversion /

Based on the author's D. Phil. Thesis (University of Oxford, 2003). / Includes bibliographical references. Available on-line.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/76901142
Date January 2004
CreatorsMu, Shin-Cheng.
PublisherOxford : Oxford University Computing Laboratory,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0017 seconds