Specification and Development of Interactive Systems Focus on Streams, Interfaces, and Refinement
- List Price: $99.99
- Binding: Hardcover
- Publisher: Springer Verlag
- Publish date: 05/01/2001
Description:
Today's distributed systems are characterized by complex interactions between many hardware/software components. Based upon a model that describes systems in terms of their input/output behavior, the authors build a basic method, called Focus, for specification and stepwise development. The book progresses from an introduction and guided tour of Focus through the mathematical model of Focus, specification techniques, stepwise refinement, and concludes with case-studies of medium-sized developments carried out in Focus.
Expand description
Product notice
Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
| Seller | Condition | Comments | Price |
|
Ergodebooks
|
Good |
$12.39
|
|
Books-R-Keen
|
New |
$24.31
|
|
Media Smart
|
New
|
$32.01
|
Please Wait