Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

ny Parosh Aziz Abdulla
5/5
Published
2011
Mpitory
Springer Berlin Heidelberg
Fiteny
English

Boky

Boky mitovitovy