bokomslag Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
Data & IT

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

H Stoyan

Pocket

769:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 368 sidor
  • 1984
  • Författare: H Stoyan
  • Format: Pocket/Paperback
  • ISBN: 9783540138952
  • Språk: Tyska
  • Antal sidor: 368
  • Utgivningsdatum: 1984-12-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG