Stock image for illustration purposes only - book cover, edition or condition may vary.
Maschinen-unabheangige Code-Erzeugung Als Semantikerhaltende Beweisbare Programmtransformation
H Stoyan
€ 70.47
FREE Delivery in Ireland
Description for Maschinen-unabheangige Code-Erzeugung Als Semantikerhaltende Beweisbare Programmtransformation
paperback. Num Pages: black & white illustrations, bibliography. BIC Classification: UMX; UMZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 20. Weight in Grams: 599.
Product Details
Format
Paperback
Publication date
1984
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Language
German
Condition
New
Number of Pages
368
Place of Publication
Berlin, Germany
ISBN
9783540138952
SKU
V9783540138952
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Maschinen-unabheangige Code-Erzeugung Als Semantikerhaltende Beweisbare Programmtransformation