Parosh Aziz Abdulla – författare

Visar alla böcker från författaren Parosh Aziz Abdulla.

4 produkter

1. 

   Foundations of Software Science and Computation Structures

   28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

   Av Parosh Aziz Abdulla, Delia Kesner

   Häftad, 2025

   579 kr

   Lägg i varukorg

2. 

   Networked Systems

   4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers

   Av Parosh Aziz Abdulla, Carole Delporte-Gallet

   Häftad, 2016

   739 kr

   Lägg i varukorg

3. 

   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, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

   Av Parosh Aziz Abdulla, K. Rustan M. Leino

   Häftad, 2011

   739 kr

   Lägg i varukorg

4. 

   Reachability Problems

   7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings

   Av Parosh Aziz Abdulla, Igor Potapov

   Häftad, 2013

   679 kr

   Lägg i varukorg