From action systems to distributed systems : the refinement approach /
Corporate Author: | |
---|---|
Other Authors: | , |
Format: | Book |
Language: | English |
Published: |
Boca Raton :
Chapman & Hall/CRC,
2016
|
Series: | Chapman & Hall/CRC computer and information science series
|
Subjects: |