Rigorous Methods for Software Construction and Analysis
Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Produktform: E-Buch Text Elektronisches Buch in proprietärem
This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodological foundations to practical applications.
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Rigorous Methods for Software Construction and Analysis
Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Produktform: Buch / Einband - flex.(Paperback)
This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodological foundations to practical applications.
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Formal Methods for Industrial Applications
Specifying and Programming the Steam Boiler Control
Produktform: E-Buch Text Elektronisches Buch in proprietärem
96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Formal Methods for Industrial Applications
Specifying and Programming the Steam Boiler Control
Produktform: Buch / Einband - flex.(Paperback)
106,99 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage