Report file quality
lgli/Cs_Computer science/CsF_Formal methods/Turner J.G., McCluskey T.L. The construction of formal specifications.. an introduction to the model-based and algebraic approaches (MGH, 1993)(ISBN 0077077350)(600dpi)(T)(472s)_CsF_.djvu
The Construction of Formal Specifications: An Introduction to the Model-Based and Algebraic Approaches (The McGraw-Hill International Series in) 🔍
J. G. Turner, T. L. McCluskey McGraw-Hill Book Co Ltd, McGraw-Hill international series in software engineering, 1993
English [en] · DJVU · 2.5MB · 1993 · 📘 Book (non-fiction) · 🚀/lgli/lgrs/nexusstc/zlib · Save
description
Introducing two widely-used approaches to the formal specification of software systems, this book considers VDM and the algebraic approach. In each case, the emphasis is intuitive, rather than mathematical and shows the reader how to construct a formal specification from the first principles by using general procedures that can be followed each time. Familiar applications are referred to throughout and examples, small case studies and problems accompany each chapter. The two approaches are brought together in one large joint case study at the end of the book, as well as a section comparing and contrasting them. The book includes a discussion of prototyping using Prolog, OBJ3 and Miranda. It should be suitable for advanced undergraduates; postgraduates in computing and software engineering; software engineers; programmers; and other computing professionals.
Alternative filename
lgrsnf/Cs_Computer science/CsF_Formal methods/Turner J.G., McCluskey T.L. The construction of formal specifications.. an introduction to the model-based and algebraic approaches (MGH, 1993)(ISBN 0077077350)(600dpi)(T)(472s)_CsF_.djvu
Alternative filename
nexusstc/The construction of formal specifications : an introduction to the model-based and algebraic approaches/7a9fa38e362cba1d0fe0c44f5cf8a7e8.djvu
Alternative author
Turner, J. G., McCluskey, T. L.
Alternative author
John Turner
Alternative publisher
McGraw-Hill School Education Group
Alternative publisher
Irwin Professional Publishing
Alternative publisher
Mcgraw Hill Book Co Ltd
Alternative publisher
Oracle Press
Alternative edition
The McGraw-Hill international series in software engineering, London, New York, England, 1994
Alternative edition
United States, United States of America
Alternative edition
December 1, 1993
metadata comments
Kolxo3 -- 61-62
metadata comments
lg910763
metadata comments
{"isbns":["0077077350","9780077077358"],"last_page":472,"publisher":"McGraw-Hill","series":"McGraw-Hill international series in software engineering"}
metadata comments
Includes bibliographical references and indexes.
Alternative description
Introduces two widely-used approaches to the formal specification of software systems, VDM and the algebraic approach. Examples, case studies and problems accompany each chapter. The two approaches are brought together in a joint case study and are also compared and contrasted.
date open sourced
2013-04-15
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.