eBooks
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems Free & Full Download
Tools and Algorithms for the Construction and Analysis of Systems
Kurt Jensen, Andreas Podelski
Springer | ISBN: 354021299X | 2004 | PDF | 608 pages | 11.7 MB
This book constitutes the refereed proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004, held in Barcelona, Spain in March/April 2004.
Download
Share This Post :
Information
Members of Guest cannot leave comments.