Häftad, Tyska, 1990
Formalisieren und Beweisen
Logik für Informatiker
Av Dirk Siefkes
Del i serien Lehrbuch Informatik
576 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
Produktinformation
- Utgivningsdatum: 1990-01-01
- Mått: 170 x 244 x 16 mm
- Vikt: 488 g
- Format: Häftad
- Språk: Tyska
- Serie: Lehrbuch Informatik
- Antal sidor: 262
- Upplaga: 1990
- Förlag: Springer Fachmedien Wiesbaden
- ISBN: 9783528047573
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.