Software Engineering and Formal Methods
Springer Berlin Heidelberg
Title |
Software Engineering and Formal Methods
|
---|---|
Published by |
Springer Berlin Heidelberg, January 2011
|
DOI | 10.1007/978-3-642-24690-6 |
ISBNs |
978-3-64-224689-0, 978-3-64-224690-6
|
Editors |
Barthe, Gilles, Pardo, Alberto, Schneider, Gerardo, Barthe, Gilles, Pardo, Alberto, Schneider, Gerardo |
Country | Count | As % |
---|---|---|
United States | 1 | 20% |
Czechia | 1 | 20% |
Japan | 1 | 20% |
Unknown | 2 | 40% |
Type | Count | As % |
---|---|---|
Members of the public | 3 | 60% |
Scientists | 2 | 40% |
Country | Count | As % |
---|---|---|
United States | 2 | 100% |
Germany | 1 | 50% |
United Kingdom | 1 | 50% |
Hungary | 1 | 50% |
Belgium | 1 | 50% |
Netherlands | 1 | 50% |
Readers by professional status | Count | As % |
---|---|---|
Student > Ph. D. Student | 16 | 800% |
Student > Master | 10 | 500% |
Researcher | 5 | 250% |
Unspecified | 5 | 250% |
Professor > Associate Professor | 5 | 250% |
Other | 12 | 600% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 32 | 1600% |
Unspecified | 9 | 450% |
Engineering | 6 | 300% |
Agricultural and Biological Sciences | 2 | 100% |
Environmental Science | 2 | 100% |
Other | 2 | 100% |