Ihre Suche ergab 857 Treffer.
Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
85,59 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Product-Focused Software Process Improvement
16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Software Engineering
International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
Produktform: Buch / Einband - flex.(Paperback)
42,80 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Search-Based Software Engineering
7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings
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: Buch / Einband - flex.(Paperback)
128,39 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Formal Methods: Foundations and Applications
20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 27 — December 1, 2017, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
69,54 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Formal Aspects of Component Software
14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Formal Aspects of Component Software
12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
System Analysis and Modeling: Models and Reusability
8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage