Tools and Algorithms for the Construction and Analysis of Systems
Springer, Berlin, Heidelberg
Title |
Tools and Algorithms for the Construction and Analysis of Systems
|
---|---|
Published by |
Springer, Berlin, Heidelberg, January 2008
|
DOI | 10.1007/978-3-540-78800-3 |
ISBNs |
978-3-54-078799-0, 978-3-54-078800-3
|
Editors |
C. R. Ramakrishnan, Jakob Rehof |
Country | Count | As % |
---|---|---|
Canada | 1 | 20% |
Romania | 1 | 20% |
Germany | 1 | 20% |
Unknown | 2 | 40% |
Type | Count | As % |
---|---|---|
Scientists | 3 | 60% |
Members of the public | 2 | 40% |
Country | Count | As % |
---|---|---|
United States | 1 | 10% |
Unknown | 9 | 90% |
Readers by professional status | Count | As % |
---|---|---|
Student > Bachelor | 1 | 10% |
Researcher | 1 | 10% |
Unknown | 8 | 80% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 1 | 10% |
Engineering | 1 | 10% |
Unknown | 8 | 80% |