Integrated Formal Methods
Springer Science & Business Media
Title |
Integrated Formal Methods
|
---|---|
Published by |
Springer Science & Business Media, October 2000
|
DOI | 10.1007/3-540-40911-4 |
ISBNs |
978-3-54-041196-3, 978-3-54-040911-3
|
Editors |
Wolfgang Grieskamp, Thomas Santen, Bill Stoddart |
Country | Count | As % |
---|---|---|
Iran, Islamic Republic of | 2 | 3% |
Portugal | 2 | 3% |
United Kingdom | 2 | 3% |
Germany | 1 | 1% |
France | 1 | 1% |
Russia | 1 | 1% |
Malaysia | 1 | 1% |
Turkey | 1 | 1% |
Austria | 1 | 1% |
Other | 0 | 0% |
Unknown | 61 | 84% |
Readers by professional status | Count | As % |
---|---|---|
Student > Ph. D. Student | 21 | 29% |
Student > Master | 19 | 26% |
Researcher | 7 | 10% |
Student > Bachelor | 6 | 8% |
Unspecified | 6 | 8% |
Other | 14 | 19% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 53 | 73% |
Engineering | 9 | 12% |
Unspecified | 7 | 10% |
Business, Management and Accounting | 2 | 3% |
Social Sciences | 1 | 1% |
Other | 1 | 1% |