9780387564968 - computer aided verification: fourth international workshop, cav'92 montreal, canada, june 29-july 1, 1992 : proceedings (lecture notes in computer science) de von bochmann, g. (2 resultados)

ISBN

Filtrar la búsqueda

  • Libros (2)

a

Intervalo de precios personalizado (EUR)

a