Ihre Suche ergab 857 Treffer.
Tests and Proofs
13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Computer Safety, Reliability, and Security
40th International Conference, SAFECOMP 2021, York, UK, September 7–10, 2021, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Formal Aspects of Component Software
13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Model and Data Engineering
9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops
DECSoS, MAPSOD, SepSevOps, USDAI, and WAISE, York, UK, September 7–10, 2021, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
90,94 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment
Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 2019, Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
NASA Formal Methods
13th NASA International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
90,94 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Web Services, Formal Methods, and Behavioral Types
11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
44,94 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Reversible Computation
8th International Conference, July 7-8, 2016, Bologna, Italy
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Product-Focused Software Process Improvement
19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage