Automatische Synthese rekursiver Programme als Beweisverfahren

Bibliographic Details
Main Author: Biundo, Susanne
Format: eBook
Language:German
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1992, 1992
Edition:1st ed. 1992
Series:Informatik-Fachberichte
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Description
Physical Description:VIII, 259 S. online resource
ISBN:9783642847448