Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

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.

Verlag: Springer Berlin, 235 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 10.01.2010

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

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.

Verlag: Springer Berlin, Auflage 1, 235 Seiten

Erscheinungsdatum: 20.01.2010

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Formal Methods for Industrial Applications

Specifying and Programming the Steam Boiler Control

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Verlag: Springer Berlin, 523 Seiten

Elektronisches Format: PDF

Erscheinungsdatum: 19.11.2005

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

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel

Formal Methods for Industrial Applications

Specifying and Programming the Steam Boiler Control

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Berlin, Auflage 1, 523 Seiten

Erscheinungsdatum: 30.10.1996

106,99 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zum Artikel