Name: formal methods: foundations and applications: 13th brazilian symposium on formal methods, sbmf 2010, natal, brazil, november 8-11, 2010, revised selec (en Inglés)
Price: 65160.00 CLP
Availability: InStock
Author: Davies, Jim ; Silva, Leila ; Simao, Adenilso
ISBN: 9783642198281

portada formal methods: foundations and applications: 13th brazilian symposium on formal methods, sbmf 2010, natal, brazil, november 8-11, 2010, revised selec (en Inglés)

Formato

Libro Físico

Ilustrado por

Editorial

Autor

Davies, Jim ; Silva, Leila ; Simao, Adenilso

Año

2011

Idioma

Inglés

N° páginas

291

Encuadernación

Tapa Blanda

Dimensiones

23.1 x 15.2 x 1.8 cm

Peso

0.45 kg.

ISBN

3642198287

ISBN13

9783642198281

Categorías

Lenguajes de programación scripting

formal methods: foundations and applications: 13th brazilian symposium on formal methods, sbmf 2010, natal, brazil, november 8-11, 2010, revised selec (en Inglés)

Jim Davies (Ilustrado por) · Adenilso Simao (Ilustrado por) · Leila Silva (Ilustrado por) · Springer · Tapa Blanda

Libro Nuevo

$ 65.160

$ 130.310

Ahorras: $ 65.150

50% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Jueves 06 de Junio y el Martes 18 de Junio.

Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.

Reseña del libro "formal methods: foundations and applications: 13th brazilian symposium on formal methods, sbmf 2010, natal, brazil, november 8-11, 2010, revised selec (en Inglés)"

This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.