Tags
Language
Tags
March 2024
Su Mo Tu We Th Fr Sa
25 26 27 28 29 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31 1 2 3 4 5 6

Tools and Algorithms for the Construction and Analysis of Systems (repost)

Posted By: Veslefrikk
Tools and Algorithms for the Construction and Analysis of Systems (repost)

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 Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004, held in Barcelona, Spain in March/April 2004.