Web Services and Formal Methods
7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Web Services and Formal Methods
7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Automated Technology for Verification and Analysis
9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Automated Technology for Verification and Analysis
9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
String Analysis for Software Verification and Security
Produktform: E-Buch Text Elektronisches Buch in proprietärem
69,54 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
String Analysis for Software Verification and Security
Produktform: Buch / Einband - fest (Hardcover)
96,29 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
String Analysis for Software Verification and Security
Produktform: Buch / Einband - flex.(Paperback)
69,54 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage