Report file quality
ia/introductiontodi0000ince_g3c0.pdf
An Introduction to Discrete Mathematics and Formal System Specification (Oxford Applied Mathematics and Computing Science Series) 🔍
Darrel C. Ince Oxford [Eng.]: Clarendon Press ; New York: Oxford University Press, Oxford applied mathematics and computing science series, Oxford [England], New York, England, 1988
English [en] · PDF · 12.2MB · 1988 · 📗 Book (unknown) · 🚀/ia · Save
description
This computer science textbook offers an introduction to the theory and practice of formal specification, defined as the use of discrete mathematics for describing the function of hardware and software systems. Formal specification plays a vital role, especially with regard to problem-free installation. Designed for students approaching the subject for the first time, this text develops all the required analytical and mathematical techniques. Numerous worked examples and exercises demonstrate actual software and computer systems. The book culminates with an introduction to "Z", a formal notation which is particularly useful for unambiguously specifying systems.
Designed for students approaching formal specification for the first time, the book has numerous worked examples and exercises.
Alternative author
Ince, D. (Darrel)
Alternative publisher
IRL Press at Oxford University Press
Alternative publisher
Oxford Institute for Energy Studies
Alternative publisher
German Historical Institute London
Alternative edition
Oxford applied mathematics and computing science series, 1st ed. 1988, repr, Oxford, 1988
Alternative edition
United Kingdom and Ireland, United Kingdom
Alternative edition
Oxford, United Kingdom, 1988
metadata comments
tight margin and binding
metadata comments
Bibliography: p. [341]-342.
Includes index.
Alternative description
An introduction to the theory and practice of formal specification with exercises and examples of software and computer systems, and an introduction to Z: a formal notation for unambiguously specifying systems.
Alternative description
xii, 349 p. ; 23 cm. --
Includes index
Bibliography: p. [341]-342
date open sourced
2023-06-28
Read more…
Your ad here.

🚀 Fast downloads

Become a member to support the long-term preservation of books, papers, and more. To show our gratitude for your support, you get fast downloads. ❤️

🐢 Slow downloads

From trusted partners. More information in the FAQ. (might require browser verification — unlimited downloads!)

All download options have the same file, and should be safe to use. That said, always be cautious when downloading files from the internet, especially from sites external to Anna’s Archive. For example, be sure to keep your devices updated.
show external downloads
  • For large files, we recommend using a download manager to prevent interruptions.
    Recommended download managers: JDownloader
  • You will need an ebook or PDF reader to open the file, depending on the file format.
    Recommended ebook readers: Anna’s Archive online viewer, ReadEra, and Calibre
  • Use online tools to convert between formats.
    Recommended conversion tools: CloudConvert and PrintFriendly
  • You can send both PDF and EPUB files to your Kindle or Kobo eReader.
    Recommended tools: Amazon‘s “Send to Kindle” and djazz‘s “Send to Kobo/Kindle”
  • Support authors and libraries
    ✍️ If you like this and can afford it, consider buying the original, or supporting the authors directly.
    📚 If this is available at your local library, consider borrowing it for free there.