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: E-Buch Text Elektronisches Buch in proprietärem

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

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-031-08166-8 / 978-3031081668 / 9783031081668

Verlag: Springer International Publishing

Erscheinungsdatum: 04.07.2022

Seiten: 521

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

96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück