Ihre Suche ergab 857 Treffer.
Tests and Proofs
10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 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
10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
106,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Verified Software. Theories, Tools, and Experiments
8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Dependable Software Engineering. Theories, Tools, and Applications
5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Logic, Computation and Rigorous Methods
Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Service-Oriented Computing – ICSOC 2020 Workshops
AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14–17, 2020, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Software Language Engineering
6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Tests and Proofs
11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Verified Software. Theories, Tools, and Experiments
11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Runtime Verification
19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
69,54 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage