Communicating process architectures 2006 : WoTUG-29 : proceedings of the 29th WoTUG Technical Meeting, 17-20 September 2006, Napier University, Edinburgh, Scotland /
Contains papers from the conference Communicating Process Architectures, 2006. This work talks about various aspects of communicating process theory and their application to designing and building systems. It includes a case study on large scale formal development and verification, CSP mechanisms fo...
| Автор-организации: | WoTUG Technical Meeting Edinburgh, Scotland) |
|---|---|
| Други автори: | Welch, Peter H., Kerridge, Jon., Barnes, Frederick R. M. |
| Формат: | Електронна книга |
| Език: | English |
| Публикувано: |
Amsterdam :
Washington, D.C. : IOS Press,
℗♭2006.
|
| Серия: |
Concurrent systems engineering series ;
v. 64. |
| Предмети: | |
| Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=176065 |
| Подобни документи: |
Print version::
Communicating process architectures 2006. |
| Онлайн достъп от Библиотека ”Паница” на Американския университет в България: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=176065 |
|---|
| Провери в Paniza Library, AUBG | Сигнатура: |
QA76.58 .W58 2006eb |
|---|