ISBN: 9780821805794 - partial order methods in verification: dimacs workshop july 24-26, 1996 (1 risultati)

Peled, Doron A. (Editor)/ Pratt, Vaughan R. (Editor)/ Holzmann, Gerard J. (Editor)

Lingua: Inglese

Editore: Amer Mathematical Society, 1997

ISBN 10 / ISBN 13: 0821805797 / 9780821805794

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books, Exeter, Regno Unito