Name: Fundamentals of Software Engineering: 8th International Conference, Fsen 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers (en Inglés)
Price: 64.72 USD
Availability: InStock
Author: Hojjat, Hossein ; Massink, Mieke
ISBN: 9783030315160

portada Fundamentals of Software Engineering: 8th International Conference, Fsen 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers (en Inglés)

Fundamentals of Software Engineering: 8th International Conference, Fsen 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Hojjat, Hossein ; Massink, Mieke

Idioma

Inglés

N° páginas

261

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.4 cm

Peso

0.39 kg.

ISBN13

9783030315160

Categorías

Compiladores e intérpretes
Lenguajes de programación y extensión/scripting: general

Fundamentals of Software Engineering: 8th International Conference, Fsen 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers (en Inglés)

Hojjat, Hossein ; Massink, Mieke (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 17 a 24 días háb.

$ 107.86$ 64.72

-40%

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

Libro Nuevo

Quedan más de 100 unidades

$ 64.72

Llega entre el 21 Ago y el 03 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Fundamentals of Software Engineering: 8th International Conference, Fsen 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers (en Inglés)"

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on agent based systems, theorem proving, learning, verification, distributed algorithms, and program analysis.