Home ยป J.M. Spivey

Books

Get ebooks in several formats: epub, pdf, mobi and other. Browse the best in .

Cover Cambridge Tracts in Theoretical Computer Science: Understanding Z: A Specification Language and its Formal Semantics Series Number 3

Get Cambridge Tracts in Theoretical Computer Science Book

Z Zation is a language for expressing mathematical specifications for computing systems. By providing formal indications for Z, this book…
โš  If you leave the site the download will not start