Ihre Suche ergab 1183 Treffer.
Formal Modeling: Actors; Open Systems, Biological Systems
Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Produktform: Buch / Einband - flex.(Paperback)
This Festschrift volume honors Carolyn Talcott, a leading researcher and mentor of international renown among computer scientists, on her 70th birthday. Includes papers on such topics as actors and programming languages; cyberphysical systems and more.
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Software Engineering Research and Applications
Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Formal Methods and Software Engineering
10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Algebraic Methodology and Software Technology
12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Static Analysis
18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Hardware and Software, Verification and Testing
First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Service-Oriented Computing - ICSOC 2011 Workshops
ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Software Composition
10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Runtime Verification
7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Programming Languages and Systems
5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage