Interactive Systems. Design, Specification, and Verification
Springer Berlin Heidelberg
Chapter title |
Higher-Order Task Models
|
---|---|
Chapter number | 13 |
Book title |
Interactive Systems. Design, Specification, and Verification
|
Published by |
Springer, Berlin, Heidelberg, June 2003
|
DOI | 10.1007/978-3-540-39929-2_13 |
Book ISBNs |
978-3-54-020159-5, 978-3-54-039929-2
|
Authors |
Anke Dittmar, Peter Forbrig |
Country | Count | As % |
---|---|---|
Spain | 2 | 18% |
Germany | 2 | 18% |
Poland | 1 | 9% |
Belgium | 1 | 9% |
Unknown | 5 | 45% |
Readers by professional status | Count | As % |
---|---|---|
Researcher | 4 | 36% |
Student > Ph. D. Student | 3 | 27% |
Professor > Associate Professor | 2 | 18% |
Student > Master | 1 | 9% |
Unknown | 1 | 9% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 9 | 82% |
Business, Management and Accounting | 1 | 9% |
Unknown | 1 | 9% |