Noch Fragen? 0800 / 33 82 637

Concrete Semantics

With Isabelle/HOL

Produktform: Buch / Einband - flex.(Paperback)

Sprache(n): Englisch

ISBN: 978-3-319-35759-1 / 978-3319357591 / 9783319357591

Verlag: Springer International Publishing

Erscheinungsdatum: 10.09.2016

Seiten: 298

Auflage: 1

Autor(en): Tobias Nipkow, Gerwin Klein

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück