Libros importados con hasta 50% OFF + Envío Gratis a todo USA  Ver más

menú

0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional
portada Software Engineering and Formal Methods: 20th International Conference, Sefm 2022, Berlin, Germany, September 26-30, 2022, Proceedings (en Inglés)
Formato
Libro Físico
Editorial
Autor
Idioma
Inglés
N° páginas
369
Encuadernación
Tapa Blanda
Dimensiones
23.4 x 15.6 x 2.0 cm
Peso
0.54 kg.
ISBN13
9783031171079
Categorías

Software Engineering and Formal Methods: 20th International Conference, Sefm 2022, Berlin, Germany, September 26-30, 2022, Proceedings (en Inglés)

Schlingloff, Bernd-Holger ; Chai, Ming (Autor) · Springer · Tapa Blanda

Software Engineering and Formal Methods: 20th International Conference, Sefm 2022, Berlin, Germany, September 26-30, 2022, Proceedings (en Inglés) - Schlingloff, Bernd-Holger ; Chai, Ming

Libro Físico

$ 66.31

$ 69.99

Ahorras: $ 3.68

5% descuento
Envío gratis a todo Estados Unidos
  • Estado: Nuevo

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Se enviará desde nuestra bodega entre el Lunes 03 de Junio y el Martes 04 de Junio.
Lo recibirás en cualquier lugar de Estados Unidos entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Software Engineering and Formal Methods: 20th International Conference, Sefm 2022, Berlin, Germany, September 26-30, 2022, Proceedings (en Inglés)"

This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

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

La encuadernación de esta edición es Tapa Blanda.

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