9783031572456 - tools and algorithms for the construction and analysis of systems: 30th international conference, tacas 2024, held as part of the european joint ... (lecture notes in computer science, 14570) (12 resultados)

ISBN

Filtrar la búsqueda

  • Libros (12)

  • Nuevo (12)

a

Intervalo de precios personalizado (EUR)

a