Book serie: / Книги серии: Informatik-Fachberichte 91 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Informatik-Fachberichte 91

book Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation

Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation

pdf

Author: Herbert Stoyan (auth.)
Language: German
Year: 1984

00

27.01.2024

0

0