1987 - Computing for Nonscientific Applications (Paperback) ISBN-13: 9780718512521 ISBN-10: 0718512529 ? Practical Formal Methods with Vdm [Mcgraw Hill International Series in Software Engineering] (Paperback) ISBN-13: 9780077072148 ISBN-10: 0077072146 Genres: Computers & Technology, Science & Math ? |