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

Your search for Anton Wijs

  1. Cover: Formal Aspects of Component Software - Springer
    Gwen Salaün | Anton Wijs
    Formal Aspects of Component Software
    17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings
    11/2021
    Springer
    9783030906368 (ISBN)
    E-Book
    PDF
    Other editions
    €48.14
    Available for download
  2. Cover: Model Checking Software - Springer
    Thomas Neele | Anton Wijs
    Model Checking Software
    30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
    10/2024
    Springer
    9783031661495 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Concise Guide to Software Verification - Springer
    Marieke Huisman | Anton Wijs
    Concise Guide to Software Verification
    From Model Checking to Annotation Checking
    07/2023
    Springer
    9783031301674 (ISBN)
    E-Book
    PDF
    Other editions
    €64.19
    Available for download
  4. Cover: Integrated Formal Methods - Springer
    Paula Herber | Anton Wijs
    Integrated Formal Methods
    18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings
    11/2023
    Springer
    9783031477058 (ISBN)
    E-Book
    PDF
    Other editions
    €117.69
    Available for download
  5. Cover: Model Checking Software - Springer
    Dragan Bosnacki | Anton Wijs
    Model Checking Software
    23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
    04/2016
    Springer
    9783319325828 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. Cover: Formal Aspects of Component Software - Springer
    Gwen Salaün | Anton Wijs
    Formal Aspects of Component Software
    17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings
    11/2021
    Springer
    9783030906351 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €48.14
    Shipment within 7-9 days
  7. Cover: Concise Guide to Software Verification - Springer
    Marieke Huisman | Anton Wijs
    Concise Guide to Software Verification
    From Model Checking to Annotation Checking
    07/2024
    Springer
    9783031301698 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €64.19
    Shipment within 15-20 days
  8. Cover: Model Checking Software - Springer
    Thomas Neele | Anton Wijs
    Model Checking Software
    30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
    10/2024
    Springer
    9783031661488 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 15-20 days
  9. Cover: Model Checking Software - Springer
    Dragan Bosnacki | Anton Wijs
    Model Checking Software
    23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
    04/2016
    Springer
    9783319325811 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.50
    Shipment within 10-15 days
  10. Cover: Concise Guide to Software Verification - Springer
    Marieke Huisman | Anton Wijs
    Concise Guide to Software Verification
    From Model Checking to Annotation Checking
    07/2023
    Springer
    9783031301667 (ISBN)
    Book
    Hardback
    Other editions
    €90.94
    Shipment within 15-20 days
  11. Cover: Integrated Formal Methods - Springer
    Paula Herber | Anton Wijs
    Integrated Formal Methods
    18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings
    11/2023
    Springer
    9783031477041 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €128.39
    Shipment within 15-20 days