Vdm '90
Vdm and Z-Formal Methods in Software Development (Lecture Notes in Computer Science)
"The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematician whose name is associated with set theory. Many computing science, programming and software engineering proceedings are published regularly. The ones by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming. In Europe, there is very much interest in methodology, semantics and techniques, that is, in understanding how we build and what it is that we are building. The papers of these proceedings basically fall into four major groups: Applications, Methodology, Formalisations, and Foundations. The Methodology group has been further subdivided into five areas: Specification Methodology, Design Methodology, Modularity, Object Orientedness, and Processes, Concurrency and Distributed Systems."--Publisher's website.
Beyond its central premise, the book can be read through the connected lenses of Nonfiction. Those themes offer useful points of attention as the characters, ideas, or world develop, especially where the book complicates the expectations of its primary category.
As an Amazon Associate I earn from qualifying purchases.
What the reading experience may hold
A fuller profile for choosing with more confidence—not just another copy of the preview.
Nonfiction
Use these as starting points rather than limits; the most memorable books often stretch beyond their catalog labels.
Catalog signals suggest warfare and conflict. These notes may not be complete; consult a publisher or reader-supplied guide when detailed warnings matter.
These notes are inferred from available catalog information and may not be complete. Check a publisher or reader-supplied guide if you need comprehensive warnings.
Dark tone · Steady pace
Best when you want to settle into a longer reading experience.
A good fit if…
Readers looking for a substantial, immersive commitment with room for a world or argument to unfold.
This book's DNA
A visual estimate based on this edition's categories, description, and length. Select a star to explore the signals.
This signal is descriptive, not a rating. It helps compare the kind of reading experience this edition may offer.
Spoiler-Free Emotional Arc
A broad estimate of the book’s emotional rhythm, shown without story events or outcomes.
This visualization is an interpretive estimate based on catalog description, categories, tone, pace, and content signals. It does not describe specific scenes.
A quick reading snapshot
Edition facts and catalog signals to help you decide whether this book fits what you want to read next.
- ISBN-13
- 978-0-3875-2513-6
- Language
- English
- Edition record
- OL10153227M
A more thoughtful way into this book
This guide uses the edition details and category signals above to help you choose deliberately. It does not replace the author's work or a full review.
Best when you want to settle into a longer reading experience.
Begin with its place in Nonfiction, then notice where the book resists that label.
Read for connection, not completion.
Mark one passage that sharpens the book's central concern and one that complicates it. That tension often reveals more than a quick summary.
Three questions to carry with you
- Whose perspective organizes the story, and whose perspective remains outside it?
- Which sources or lived experiences carry the author’s central argument?
- How does the book change the way you understand its larger subject?
Editorial framework by Wesley Bryan, BookenDeX Founder and Editor.
More Nonfiction books
These matches combine shared categories with author, publication-era, and reading-length signals.
