An edition of Formal methods for distributed processing
(2001)
Formal Methods for Distributed Processing
1st edition
by Howard Bowman
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
Formal Methods for Distributed Processing
January 15, 2002, Cambridge University Press
Hardcover
in English
- 1st edition
0521771846 9780521771849
|
aaaa
|
2
Formal methods for distributed processing: a survey of object-oriented approaches
2001, Cambridge University Press
in English
0521771846 9780521771849
|
cccc
|
Book Details
First Sentence
"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."
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
History
- Created April 29, 2008
- 6 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| July 31, 2019 | Edited by MARC Bot | associate edition with work OL19126049W |
| August 6, 2010 | Edited by IdentifierBot | added LibraryThing ID |
| April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
| April 16, 2010 | Edited by bgimpertBot | Added goodreads ID. |
| April 29, 2008 | Created by an anonymous user | Imported from amazon.com record |