Tools and Algorithms for the Construction and Analysis of Systems. 17th International Conference, TACAS 2011 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011 Saarbrücken, Germany, March 26–April 3, 2011 Proceed

Checking for file health...

Author:Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
Language:English
Release year:2013
File size:5.051 MB
Number of page:412

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Similar Tools and Algorithms for the Construction and Analysis of Systems. 17th International Conference, TACAS 2011 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011 Saarbrücken, Germany, March 26–April 3, 2011 Proceed

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.