Name: Formal Methods: Foundations and Applications: 16Th Brazilian Symposium, Sbmf 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings (Programming and Software Engineering) (en Inglés)
SKU: 62114935
Price: 779.93 MXN
Availability: InStock
Author: Iyoda Juliano,De Moura Leonardo
ISBN: 9783642410703

portada Formal Methods: Foundations and Applications: 16Th Brazilian Symposium, Sbmf 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings (Programming and Software Engineering) (en Inglés)

Formal Methods: Foundations and Applications: 16Th Brazilian Symposium, Sbmf 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings (Programming and Software Engineering) (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Iyoda Juliano,De Moura Leonardo

Idioma

Inglés

N° páginas

253

Encuadernación

Tapa Blanda

ISBN13

9783642410703

N° edición

2013th

Formal Methods: Foundations and Applications: 16Th Brazilian Symposium, Sbmf 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings (Programming and Software Engineering) (en Inglés)

Iyoda Juliano,De Moura Leonardo (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 14 a 19 días háb.

$ 1,733.17$ 779.93

-55%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 779.93

¡Envío Gratis! Llega entre el 23 Sep y el 01 Oct a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Formal Methods: Foundations and Applications: 16Th Brazilian Symposium, Sbmf 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings (Programming and Software Engineering) (en Inglés)"

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 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.