Поиск
На сайте: 567989 статей, 285490 фото.

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…»

Рецензии

См. также

Ссылки