Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Verification, Induction, Termination Analysis

Festschrift for Christoph Walther on the Occasion of His 60th Birthday

Produktform: Buch / Einband - flex.(Paperback)

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-642-17171-0 / 978-3642171710 / 9783642171710

Verlag: Springer Berlin

Erscheinungsdatum: 16.11.2010

Seiten: 145

Auflage: 1

Zielgruppe: Research

Herausgegeben von Simon Siegler, Nathan Wasser

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück