E-bok, Tyska, 2013
Automatische Synthese rekursiver Programme als Beweisverfahren
621 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
Produktinformation
- Utgivningsdatum: 2013-03-08
- Språk: Tyska
- Filformat: PDF
- Kopieringsskydd: LCP
- ISBN: 9783642847448
- Förlag: Springer Berlin Heidelberg
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.