Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation by H. StoyanMaschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation by H. Stoyan

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

byH. Stoyan

Paperback | December 1, 1984 | German

Pricing and Purchase Info

$81.74

Earn 409 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare ProgrammtransformationFormat:PaperbackDimensions:0.04 × 0.02 × 0 inPublished:December 1, 1984Publisher:Springer Berlin HeidelbergLanguage:German

The following ISBNs are associated with this title:

ISBN - 10:3540138951

ISBN - 13:9783540138952

Look for similar items by category:

Reviews