Name: Foundations of Software Science and Computation Structures: 25th International Conference, Fossacs 2022, Held as Part of the European Joint Conference (en Inglés)
Price: 55.20 USD
Availability: InStock
Author: Bouyer, Patricia ; Schröder, Lutz
ISBN: 9783030992521

portada Foundations of Software Science and Computation Structures: 25th International Conference, Fossacs 2022, Held as Part of the European Joint Conference (en Inglés)

Foundations of Software Science and Computation Structures: 25th International Conference, Fossacs 2022, Held as Part of the European Joint Conference (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Bouyer, Patricia ; Schröder, Lutz

Idioma

Inglés

N° páginas

471

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 2.5 cm

Peso

0.68 kg.

ISBN13

9783030992521

Categorías

Teoría de la información
Lógica matemática
Arquitectura de la información

Foundations of Software Science and Computation Structures: 25th International Conference, Fossacs 2022, Held as Part of the European Joint Conference (en Inglés)

Bouyer, Patricia ; Schröder, Lutz (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 16 a 23 días háb.

$ 100.36$ 55.20

-45%

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

Libro Nuevo

Quedan más de 100 unidades

$ 55.20

Llega entre el 19 Ago y el 01 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Foundations of Software Science and Computation Structures: 25th International Conference, Fossacs 2022, Held as Part of the European Joint Conference (en Inglés)"

This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.