Download Now

Tools and Algorithms for the Construction and Analysis of Systems

Kurt Jensen, Andreas Podelski,
«Tools and Algorithms for the Construction and Analysis of Systems»

Springer | ISBN: 354021299X | 2004 | PDF | 608 pages | 5 MB

This book constitutes the refereed proceedings of the 10th International Conference on , TACAS 2004, held in Barcelona, Spain in March/April 2004.
Buy Premium To Support Me & Get Resumable Support & Max Speed




Links are Interchangeable - No Password
Direct Download

Tags: Algorithms, Construction, Analysis, Systems

Comments
Name:*
E-Mail:*
Add Comments:
Enter Code: *