ebook img
Author:TACAS 2000 (2000 : BerlinGermany)
Language:English
Release year:2000
File size:7.1 MB
Number of page:570
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 : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedi

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