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

Your search for Kim Guldstrand Larsen

  1. Cover: Reachability Problems - Springer
    Kim Guldstrand Larsen | Igor Potapov | Jirí Srba
    Reachability Problems
    10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
    09/2016
    Springer
    9783319459943 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Dependable Software Engineering. Theories, Tools, and Applications - Springer
    Kim Guldstrand Larsen | Oleg Sokolsky | Ji Wang
    Dependable Software Engineering. Theories, Tools, and Applications
    Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
    10/2017
    Springer
    9783319694832 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Formal Methods for Industrial Critical Systems - Springer
    Kim Guldstrand Larsen | Tim Willemse
    Formal Methods for Industrial Critical Systems
    24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings
    08/2019
    Springer
    9783030270087 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Deepak D'Souza | Akash Lal | Kim Guldstrand Larsen
    Verification, Model Checking, and Abstract Interpretation
    16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
    12/2014
    Springer
    9783662460818 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Reactive Systems - Cambridge University Press
    Luca Aceto | Anna Ingolfsdottir | Kim Guldstrand Larsen
    Reactive Systems
    Modelling, Specification and Verification
    10/2007
    1st EDN1st Edition
    Cambridge University Press
    9780511332142 (ISBN)
    E-Book
    PDF
    Other editions
    €79.99
    Available for download
  6. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Jan Friso Groote | Kim Guldstrand Larsen
    Tools and Algorithms for the Construction and Analysis of Systems
    27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II
    03/2021
    Springer
    9783030720124 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 7-9 days
  7. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Jan Friso Groote | Kim Guldstrand Larsen
    Tools and Algorithms for the Construction and Analysis of Systems
    27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I
    03/2021
    Springer
    9783030720155 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 7-9 days
  8. Cover: Formal Methods for Industrial Critical Systems - Springer
    Kim Guldstrand Larsen | Tim Willemse
    Formal Methods for Industrial Critical Systems
    24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings
    07/2019
    Springer
    9783030270070 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  9. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Deepak D'Souza | Akash Lal | Kim Guldstrand Larsen
    Verification, Model Checking, and Abstract Interpretation
    16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
    01/2015
    Springer
    9783662460801 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  10. Cover: Reachability Problems - Springer
    Kim Guldstrand Larsen | Igor Potapov | Jirí Srba
    Reachability Problems
    10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
    09/2016
    Springer
    9783319459936 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  11. Cover: Dependable Software Engineering. Theories, Tools, and Applications - Springer
    Kim Guldstrand Larsen | Oleg Sokolsky | Ji Wang
    Dependable Software Engineering. Theories, Tools, and Applications
    Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
    10/2017
    Springer
    9783319694825 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  12. Cover: Principles of Model Checking - MIT Press
    Christel Baier | Joost-Pieter Katoen
    Principles of Model Checking
    04/2008
    MIT Press
    9780262026499 (ISBN)
    Book
    Hardback
    Other editions
    €179.51
    Shipment within 10-20 days
  13. Cover: Sustainable Energy Systems Planning, Integration and Management - MDPI
    Amjad Anvari-Moghaddam | Behnam Mohammadi-Ivatloo | Somayeh Asadi
    Sustainable Energy Systems Planning, Integration and Management
    01/2020
    MDPI
    9783039280469 (ISBN)
    Book
    Paperback/Softback
    €91.70
    Shipment within 15-20 days
  14. Cover: Reactive Systems - Cambridge University Press
    Luca Aceto | Anna Ingolfsdottir | Kim Guldstrand Larsen
    Reactive Systems
    Modelling, Specification and Verification
    08/2007
    Cambridge University Press
    9780521875462 (ISBN)
    Book
    Hardback
    Other editions
    €126.80
    Shipment within 15-20 days