Automatische Synthese rekursiver Programme als Beweisverfahren / Informatik-Fachberichte Bd.302 (PDF)
sofort als Download lieferbar
eBook (pdf)
Fr. 46.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Automatische Synthese rekursiver Programme als Beweisverfahren / Informatik-Fachberichte Bd.302 (PDF)“
Bibliographische Angaben
- Autor: Susanne Biundo
- 2013, 1992, 259 Seiten, Deutsch
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3642847447
- ISBN-13: 9783642847448
- Erscheinungsdatum: 08.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: 16 MB
- Ohne Kopierschutz
- Vorlesefunktion
Kommentar zu "Automatische Synthese rekursiver Programme als Beweisverfahren / Informatik-Fachberichte Bd.302"
0 Gebrauchte Artikel zu „Automatische Synthese rekursiver Programme als Beweisverfahren / Informatik-Fachberichte Bd.302“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Automatische Synthese rekursiver Programme als Beweisverfahren / Informatik-Fachberichte Bd.302".
Kommentar verfassen