Directions and Implications of Advanced Computing [Diac-87] (Hardcover) ISBN-13: 9780893915582 ISBN-10: 0893915580 Genres: Computers & Technology, Science & Math ? Modelbased Software Testing and Analysis with C (Paperback) → Hardcover ISBN-13: 9780521687614 ISBN-10: 0521687616 Genres: Computers & Technology, Reference ? Modelbased Software Testing and Analysis with C (Hardcover) → Paperback ISBN-13: 9780521886550 ISBN-10: 0521886554 Genre: Computers & Technology ? The Way of Z Practical Programming with Formal Methods (Hardcover) → Paperback ISBN-13: 9780521550413 ISBN-10: 0521550416 Genres: Computers & Technology, Reference, Substores ? The Way of Z Practical Programming with Formal Methods (Paperback) → Hardcover ISBN-13: 9780521559768 ISBN-10: 0521559766 Genre: Computers & Technology ? |