Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation / Informatik-Fachberichte Bd.91 (PDF)
sofort als Download lieferbar
Printausgabe Fr. 56.50
eBook (pdf)
Fr. 48.50
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation / Informatik-Fachberichte Bd.91 (PDF)“
Bibliographische Angaben
- Autor: H. Stoyan
- 2013, 1984, 368 Seiten, Deutsch
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3662085259
- ISBN-13: 9783662085257
- Erscheinungsdatum: 09.03.2013
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 20 MB
- Ohne Kopierschutz
- Vorlesefunktion
Kommentar zu "Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation / Informatik-Fachberichte Bd.91"
0 Gebrauchte Artikel zu „Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation / Informatik-Fachberichte Bd.91“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation / Informatik-Fachberichte Bd.91".
Kommentar verfassen