8 results
Type of media (2)
Availability (2)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
8 results

Your search for Parosh Aziz Abdulla

  1. Cover: Networked Systems - Springer
    Parosh Aziz Abdulla | Carole Delporte-Gallet
    Networked Systems
    4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers
    09/2016
    Springer
    9783319461403 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Reachability Problems - Springer
    Parosh Aziz Abdulla | Igor Potapov
    Reachability Problems
    7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings
    09/2013
    Springer
    9783642410369 (ISBN)
    E-Book
    PDF
    Other editions
    €48.14
    Available for download
  3. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Parosh Aziz Abdulla | K. Rustan M. Leino
    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
    03/2011
    Springer
    9783642198359 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Parosh Aziz Abdulla | K. Rustan M. Leino
    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
    03/2011
    1st EDN1st Edition
    Springer
    9783642198342 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  5. Cover: Reachability Problems - Springer
    Parosh Aziz Abdulla | Igor Potapov
    Reachability Problems
    7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings
    09/2013
    Springer
    9783642410352 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €49.22
    Shipment within 7-9 days
  6. Cover: Networked Systems - Springer
    Parosh Aziz Abdulla | Carole Delporte-Gallet
    Networked Systems
    4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers
    09/2016
    Springer
    9783319461397 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  7. Cover: Foundations of Software Science and Computation Structures - Springer
    Parosh Aziz Abdulla | Delia Kesner
    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
    05/2025
    Springer
    9783031908965 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  8. This image is currently not available.
    Parosh Aziz Abdulla | K. Rustan M. Leino
    Tools and Algorithms for the Construction and Analysis of Systems
    03/2011
    Springer
    9783642198366 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available