Ihre Suche ergab 857 Treffer.
Foundational and Practical Aspects of Resource Analysis
Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Produktform: E-Buch Text Elektronisches Buch in proprietärem
42,79 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Computer Safety, Reliability, and Security
34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 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
Software Verification
12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 19-21, 2020, Revised Selected Papers
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Theory and Practice of Model Transformation
10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 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, Services, and Systems
Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
FM 2016: Formal Methods
21st International Symposium, Limassol, Cyprus, November 9-11, 2016, 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
12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Practical Aspects of Declarative Languages
20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
42,79 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Tests and Proofs
12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 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
Product-Focused Software Process Improvement
17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage