ISBN: 9781475752632 - formal methods for distributed system development: forte / pstv 2000 ifip tc6 wg6.1 joint international conference on formal description techniques ... xiii) and protocol specification, testing a (8 resultados)

ISBN: 
Refinar con la Búsqueda avanzada

Filtrar la búsqueda

  • Libros (8)

a

Intervalo de precios personalizado (EUR)

a