Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers (Programming and Software Engineering). Este artículo no está disponible.
Idioma: inglés
Editorial: Springer (edition 2014), 2014
- Tapa blanda
- Nuevo
Librería: BooksRun, Philadelphia, PA, Estados Unidos de AmericaBooksRun
Vendedor de 5 estrellas
Vendedor de IberLibro desde 2 de febrero de 2016
No disponible
Tapa blanda
Condición: Nuevo
EUR 62,90
Descripción del artículo del vendedor
The item is brand new, never used or read. It's in perfect condition and may include supplements and/or access codes or come shrink-wrapped.
N° de ref. del artículo 3319076019-10-1
- Título
- Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers (Programming and Software Engineering)
- Autor
- Fiadeiro, José Luiz; Liu, Zhiming; Xue, Jinyun
- Editorial
- Springer (edition 2014)
- Año de publicación
- 2014
- Estado
- New
- Encuadernación
- Paperback
- Idioma
- inglés
- ISBN 10
- 3319076019
- ISBN 13
- 9783319076010
- Edición
- 2014.
This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic worlds.
“Sinopsis” puede pertenecer a otra edición de este título.
Reseña del editor
This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic worlds.
“Acerca de” puede pertenecer a otra edición de este título.
Resultados de la búsqueda para Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers (Programming and Software Engineering)
Hay 8 copias más de este libroVer todos los resultados