9781402070259 - compositional verification of concurrent and real-time systems: 676 (the springer international series in engineering and computer science, 676) de juan, eric y.t.; tsai, jeffrey j.p. (12 resultados)

ISBN

Filtrar la búsqueda

  • Libros (12)

a

Intervalo de precios personalizado (EUR)

a