Formal Methods for Distributed Processing (книга)
| Formal Methods for Distributed Processing | |
| Автор: | Howard Bowman John Derrick |
|---|---|
| Оригинал издан: | ???? |
«Formal Methods for Distributed Processing» — книга ???? года.
Содержание |
Содержание 
От издателя
«This important resource presents the current state of the art in the application of formal methods to object based distributed systems. A major theme is how to formally handle the new requirements arising from OO distributed systems. The major…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
