Ihre Suche ergab 1183 Treffer.
Software Engineering for Self-Adaptive Systems
International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Multicore Software Engineering, Performance, and Tools
International Conference, MUSEPAT 2013, Saint Petersburg, Russia, August 19-20, 2013, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
49,22 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Formal Methods for Components and Objects
9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
Produktform: Buch / Einband - flex.(Paperback)
This state-of-the-art survey presents the outcome of the 9th Symposium on Formal Methods for Components and Objects, held in Graz, Austria, in November/December 2010. It contains 20 revised contributions submitted after the symposium by the speakers.
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Verified Software: Theories, Tools, Experiments
First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Produktform: Buch / Einband - flex.(Paperback)
106,99 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Formal Methods for Industrial Critical Systems
18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
49,22 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Formal Verification of Object-Oriented Software
International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Automated Technology for Verification and Analysis
Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Formal Methods and Software Engineering
14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Web Services and Formal Methods
9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
49,22 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Static Analysis
14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage