Ihre Suche ergab 857 Treffer.
Automated Technology for Verification and Analysis
14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
NASA Formal Methods
9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Web Services – ICWS 2020
27th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, June 22–26, 2020, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Fields of Logic and Computation III
Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Performance Evaluation and Benchmarking for the Analytics Era
9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
44,94 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Practical Aspects of Declarative Languages
24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
69,54 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Risk Assessment and Risk-Driven Testing
Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
42,80 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Services – SERVICES 2021
17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
58,84 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Service-Oriented Computing – ICSOC 2016 Workshops
ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016. Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Formal Methods: Foundations and Applications
21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
62,05 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage