Ihre Suche ergab 857 Treffer.
Formal Methods: Foundations and Applications
17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
42,79 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Automated Technology for Verification and Analysis
15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Software Reuse for Dynamic Systems in the Cloud and Beyond
14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Reversible Computation
7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
50,28 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Runtime Verification
5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
NASA Formal Methods
13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
90,94 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Web Services – ICWS 2018
25th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Formal Methods for Industrial Critical Systems
26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Search-Based Software Engineering
10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
69,54 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Service-Oriented Computing
16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
96,29 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage