Formal Techniques for Networked and Distributed Systems – FORTE 2008
Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih
Formal Techniques for Networked and Distributed Systems – FORTE 2008 - Germany Springer 2008
978-3-540-68855-6
Computer Science
Formal Techniques for Networked and Distributed Systems – FORTE 2008
Formal Techniques for Networked and Distributed Systems – FORTE 2008 - Germany Springer 2008
978-3-540-68855-6
Computer Science
Formal Techniques for Networked and Distributed Systems – FORTE 2008
Total No of Books as on Date
| Titles | Volumes | National Journals(Print) | International Journals(Print) | e-Books | e-Journals |
|---|---|---|---|---|---|
| 43955 | 139001 | 162 | 3 | 34446 | 10300 |
Library working hours
| Monday to Saturday | Sunday and General Holidays |
|---|---|
| 10.00am to 5.30pm | Closed |