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

Your search for Andreas Podelski

  1. Cover: Static Analysis - Springer
    Andreas Podelski
    Static Analysis
    25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings
    08/2018
    Springer
    9783319997254 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Networked Systems - Springer
    Andreas Podelski | François Taïani
    Networked Systems
    6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers
    01/2019
    Springer
    9783030055295 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Verified Software: Theories, Tools, Experiments - Springer
    Rajeev Joshi | Peter Müller | Andreas Podelski
    Verified Software: Theories, Tools, Experiments
    4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
    01/2012
    Springer
    9783642277054 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Kurt Jensen | Andreas Podelski
    Tools and Algorithms for the Construction and Analysis of Systems
    10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
    03/2004
    Springer
    9783540247302 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  5. Cover: Verified Software: Theories, Tools, Experiments - Springer
    Rajeev Joshi | Peter Müller | Andreas Podelski
    Verified Software: Theories, Tools, Experiments
    4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
    01/2012
    1st EDN1st Edition
    Springer
    9783642277047 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  6. Cover: Networked Systems - Springer
    Andreas Podelski | François Taïani
    Networked Systems
    6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers
    01/2019
    Springer
    9783030055288 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  7. Cover: Static Analysis - Springer
    Andreas Podelski
    Static Analysis
    25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings
    08/2018
    Springer
    9783319997247 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Byron Cook | Andreas Podelski
    Verification, Model Checking, and Abstract Interpretation
    8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings
    01/2007
    Springer
    9783540697350 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  9. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Kurt Jensen | Andreas Podelski
    Tools and Algorithms for the Construction and Analysis of Systems
    10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
    03/2004
    Springer
    9783540212997 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  10. Cover: Constraint Programming: Basics and Trends - Springer
    Andreas Podelski
    Constraint Programming: Basics and Trends
    1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers
    03/1995
    Springer
    9783540591559 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days