Name: Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, Tacas 2023, Held as Part of the European Joint Confe (en Inglés)
SKU: 57655575
Price: 100936.00 ARS
Availability: InStock
Author: Sankaranarayanan, Sriram ; Sharygina, Natasha
ISBN: 9783031308222

portada Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, Tacas 2023, Held as Part of the European Joint Confe (en Inglés)

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, Tacas 2023, Held as Part of the European Joint Confe (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Sankaranarayanan, Sriram ; Sharygina, Natasha

Idioma

Inglés

N° páginas

708

Encuadernación

Tapa Blanda

Dimensiones

23.4x15.6x3.7 cm

Peso

1.01 kg.

ISBN13

9783031308222

Categorías

Ciencias de la computación

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, Tacas 2023, Held as Part of the European Joint Confe (en Inglés)

Sankaranarayanan, Sriram ; Sharygina, Natasha (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 26 a 31 días háb.

$ 168.227$ 100.936

-40%

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

Libro Nuevo

Quedan 100 unidades

$ 100.936

Llega entre el 15 Oct y el 22 Oct a C.A.B.A., Ciudad Autónoma de Buenos Aires. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, Tacas 2023, Held as Part of the European Joint Confe (en Inglés)"

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.

Opiniones del libro

¿Leíste este libro? Inicia sesión para poder agregar tu propia evaluación.

Ver más opiniones de clientes

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, Tacas 2023, Held as Part of the European Joint Confe (en Inglés) - Sankaranarayanan, Sriram ; Sharygina, Natasha

Reseña del libro "Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, Tacas 2023, Held as Part of the European Joint Confe (en Inglés)"

Opiniones del libro

Preguntas frecuentes sobre el libro

¿El libro es original?

¿En qué Idioma está escrito el libro?

¿Cuál es la encuadernación de este libro?

Preguntas y respuestas sobre el libro

Opiniones sobre Buscalibre