Noch Fragen? 0800 / 33 82 637

Concrete Semantics

With Isabelle/HOL

Produktform: Buch / Einband - fest (Hardcover)

Sprache(n): Englisch

ISBN: 978-3-319-10541-3 / 978-3319105413 / 9783319105413

Verlag: Springer International Publishing

Erscheinungsdatum: 15.12.2014

Seiten: 298

Auflage: 1

Autor(en): Tobias Nipkow, Gerwin Klein

80,24 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück