Ihre Suche ergab 22 Treffer.
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
96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
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)
106,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Formal Methods for Components and Objects
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Formal Methods for Components and Objects
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Deductive Software Verification – The KeY Book
From Theory to Practice
Produktform: E-Buch Text Elektronisches Buch in proprietärem
117,69 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Deductive Software Verification – The KeY Book
From Theory to Practice
Produktform: Buch / Einband - flex.(Paperback)
128,39 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Electronic Voting
4th International Conference, E-Vote 2019, Bregenz, Austria, October 1–4, 2019, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
60,98 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Electronic Voting
4th International Conference, E-Vote 2019, Bregenz, Austria, October 1–4, 2019, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
62,05 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage