Artikel empfehlen

The Logic of Software. A Tasting Menu of Formal Methods

Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Produktform: Buch / Einband - flex.(Paperback)

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Lecture Notes in Computer Science

Sprache(n): Englisch

ISBN: 978-3-031-08165-1 / 978-3031081651 / 9783031081651

Verlag: Springer International Publishing

Erscheinungsdatum: 16.06.2022

Seiten: 521

Auflage: 1

Herausgegeben von Einar Broch Johnsen, Bernhard Beckert, Wolfgang Ahrendt, Richard Bubel

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück