Back to Results
—out of 5—out of 5—out of 5—out of 5—out of 5—out of 5
Magical Tome
- First published
- 2001
- Publisher
- Cambridge University Press
- Pages
- 490 pages
- ISBN
- 9780521771849
Formal methods for distributed processing
The outer archives are busy
About this book
No one can doubt the importance of distributed systems these days, but they do pose a particular challenge to the developers of formal methods: they involve, by their nature, a high degree of independence between components and have dynamically changing structures, the evolution of which needs to be captured in any formal specification.
Match Score
Create a free account to see Match Scores on books the community has marked — once you’ve set your preferences.
Create free accountMarks of the Realm
Marks left by readers of this tome
No community marks yet — be the first to inscribe this tome.
Pacing
Horror / Dark Elements
Romance
Spice Level
LGBTQ+ Representation
Social & Political Themes in Stories