17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
Parosh Aziz Abdulla; K. Rustan M. Leino
€100
Help library users learn, on good terms
License single eBooks to give your patrons unlimited SpringerLink access to the eBooks they need, with clear and
generous terms for the library.
The book they need
No minimums, license single eBooks
Choose freely among 300 000+ titles
Read and download on SpringerLink
Access after 2‐3 days for new customers, then quicker access