Isbn: 9783642214363 - fm 2011: formal methods: 17th international symposium on formal methods, limerick, ireland, june 20-24, 2011, proceedings: 6664 (lecture notes in computer science, 6664) (7 resultados)
Idioma: Inglés
Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
- Tapa blanda
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de AmericaGrand Eagle Retail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 68,10
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Paperback. Condición: new. Paperback. This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking. This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…
- Tapa blanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 84,91
Envío por EUR 14,77Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Paperback. Condición: Brand New. 464 pages. 9.75x6.25x1.00 inches. In Stock.
- Tapa blanda
Librería: Buchpark, Trebbin, AlemaniaBuchpark
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 44,68
Envío por EUR 105,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: Sehr gut. Zustand: Sehr gut | Seiten: 450 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Tapa blanda
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 178,88
Envío por EUR 29,54Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
paperback. Condición: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Tapa blanda
Librería: StainesBookhub, Weybridge, SURRE, Reino UnidoStainesBookhub
Contactar con el vendedorVendedor de 2 estrellasCondición: Nuevo
EUR 211,48
Envío por EUR 35,44Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: New. A brand new book in pristine condition. Showing zero signs of shelf wear, creases, or damage.
- Tapa blanda
- Impresión bajo demanda
Librería: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 46,22
Envío por EUR 6,80Se envía de Italia a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: new. Questo è un articolo print on demand.
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,74
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Fast track conference proceedings State of the art research Up-to-date resultsThis book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011.…
