9780387975320 - verification of sequential and concurrent programs (texts & monographs in computer science) de apt, krzysztof r.; olderog, ernst-rudiger (8 resultados)

ISBN

Filtrar la búsqueda

  • Libros (8)

a

Intervalo de precios personalizado (EUR)

a