Home›Books›Robert VeroffRobert VeroffNo biography available.Works (3)Data abstraction and problem solving with C++1995Data structures and problem solving with Turbo Pascal1993Automated reasoning and its applications