Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Checking for file health...

Author:Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare (auth.), Nir Piterman, Scott A. Smolka (eds.)
Language:English
Release year:2013
File size:10.142 MB
Number of page:668

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: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

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