2008 - Understanding Z a Specification Language and Its Formal Semantics [Cambridge Tracts in Theoretical Computer Science] (Paperback) → Hardcover ISBN-13: 9780521054140 ISBN-10: 0521054141 Genre: Computers & Technology ? 2000 - Native Americans in the Carolina Borderlands a Critical Ethnography (Paperback) → Hardcover ISBN-13: 9781891026102 ISBN-10: 1891026100 Genre: History ? 1996 - An Introduction to Logic Programming Through Prolog [Prentice Hall International Series in Computer Science] (Other) ISBN-13: 9780135360477 ISBN-10: 0135360471 Genres: Computers & Technology, Reference, Science & Math ? 1988 - Understanding Z a Specification Language and Its Formal Semantics [Cambridge Tracts in Theoretical Computer Science] (Hardcover) → Paperback ISBN-13: 9780521334297 ISBN-10: 0521334292 Genres: Computers & Technology, Engineering & Transportation ? The Z Notation a Reference Manual [Prentice-Hall International Series in Computer Science] (Paperback) → Paperback ISBN-13: 9780139785290 ISBN-10: 0139785299 Genres: Computers & Technology, Reference, Science & Math ? |