ISBN: 9780821805794 - partial order methods in verification: dimacs workshop july 24-26, 1996 (dimacs: series in discrete mathematics and theoretical computer science) (1 resultados)
Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996
Peled, Doron A. (Editor)/ Pratt, Vaughan R. (Editor)/ Holzmann, Gerard J. (Editor)
- Tapa dura
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 72,52
Envío por EUR 14,93Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
Hardcover. Condición: Brand New. 403 pages. 10.50x7.50x1.00 inches. In Stock.
