Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Automatische Synthese rekursiver Programme als Beweisverfahren

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Dieser Artikel gehört zu den folgenden Serien

Elektronisches Format: PDF

Sprache(n): Deutsch

ISBN: 978-3-642-84744-8 / 978-3642847448 / 9783642847448

Verlag: Springer Berlin

Erscheinungsdatum: 08.03.2013

Seiten: 259

Autor(en): Susanne Biundo

42,99 € inkl. MwSt.
Fixed Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück