621.395 JON 83537
Jones, Robert B. Symbolic simulation methods for industrial formal verification / Robert B. Jones. - Norwell : Kluwer Academic Publishers, 2002 xviii, 150 p. ; 23 cm 9781402071034 Euro 109.95 (Rs. 3158.29) * Mechanical engineering
Powered by Koha