Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

FM 2008: Formal Methods

Name: FM 2008: Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567668
Price: 56.59 EUR
Availability: InStock
Author: Jorge Cuellar
ISBN: 9783540682356

15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008

Jorge Cuellar

Tom Maibaum

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 01567668

Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mayo 2008

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, F... Descripción completa

Código Libristo: 01567668

139 b

56.59 €

Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Nachhilfe Mathematik - Teil 2: Bruchrechnen und Dezimalzahlen Erich Bulitta

Tapa blanda

14.99 €

Passion,pain & poetry Sabine Seide/Müller

CD de audio

14.99 €

Sur Un Lithotriteur Courbe, Fort Simple Et Sur Une Modification Du Brisepierre, de M. Jacobson SEGALAS D'ETCHEPARE-P-S

Tapa blanda

13.19 €

La grande escapade Blondel

Tapa blanda

22.99 €

Телефонна агітація Noe Spies

Adobe ePub DRM

12.39 €

Adventní kalendář 2026 Toy Story

binding.

13.79 €

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008.§The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.