Ihre Suche ergab 857 Treffer.
Automated Technology for Verification and Analysis
11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Integrated Formal Methods
11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Software Architecture
15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
90,94 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Testing Software and Systems
28th IFIP WG 6.11 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Mathematical and Engineering Methods in Computer Science
9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
42,80 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Practical Aspects of Declarative Languages
16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Hardware and Software: Verification and Testing
10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Human-Centered Software Engineering
7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3-5, 2018, Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Model and Data Engineering
7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Formal Methods for Industrial Critical Systems
25th International Workshop, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage