Name: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, Isola 2022, Rhodes, Gre (en Inglés)
Price: 283027.00 COP
Availability: InStock
Author: Margaria, Tiziana ; Steffen, Bernhard
ISBN: 9783031198489

portada Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, Isola 2022, Rhodes, Gre (en Inglés)

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, Isola 2022, Rhodes, Gre (en Inglés)

Formato

Libro Físico

Ilustrado por

Tiziana Margaria

Bernhard Steffen

Editorial

Springer

Autor

Margaria, Tiziana ; Steffen, Bernhard

Idioma

Inglés

N° páginas

598

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 3.1 cm

Peso

0.85 kg.

ISBN13

9783031198489

Categorías

Lógica matemática
Programación informática/desarrollo de software

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, Isola 2022, Rhodes, Gre (en Inglés)

Tiziana Margaria (Ilustrado por) · Bernhard Steffen (Ilustrado por) · Springer · Tapa Blanda

Libro Nuevo Importado

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

$ 566.054$ 283.027

-50%

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

Libro Nuevo

Quedan más de 100 unidades

$ 283.027

¡Envío Gratis! Llega entre el 05 Ago y el 18 Ago a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, Isola 2022, Rhodes, Gre (en Inglés)"

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.