Taschenbuch
Nicht verfügbare Artikel anzeigen

Releases von Parosh Aziz Abdulla

18. März 2011 – 13. September 2013

Cover for Parosh Aziz Abdulla · Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings - Lecture Notes in Computer Science (Taschenbuch) [2013 edition] (2013)

Reachability Problems: 7th Inter... (2013)

Parosh Aziz Abdulla

Cover for Parosh Aziz Abdulla · Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26--April 3, 2011, Proc (Taschenbuch) (2011)

Tools and Algorithms for the Con... (2011)

Parosh Aziz Abdulla