An edition of Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation (1984)
Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
By Herbert Stoyan
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1984
Publisher
Springer
Language
ger
Pages
365
Description: