Anton Wijs – författare

Visar alla böcker från författaren Anton Wijs.

6 produkter

1. 

   Formal Aspects of Component Software

   17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings

   Av Gwen Salaün, Anton Wijs

   Häftad, 2021

   669 kr

   Lägg i varukorg

2. 

   Concise Guide to Software Verification

   From Model Checking to Annotation Checking

   Av Marieke Huisman, Anton Wijs

   Inbunden, 2023

   1219 kr

   Lägg i varukorg

3. 

   Concise Guide to Software Verification

   From Model Checking to Annotation Checking

   Av Marieke Huisman, Anton Wijs

   Häftad, 2024

   859 kr

   Lägg i varukorg

4. 

   Integrated Formal Methods

   18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings

   Av Paula Herber, Anton Wijs

   Häftad, 2023

   1759 kr

   Lägg i varukorg

5. 

   Model Checking Software

   30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings

   Av Thomas Neele, Anton Wijs

   Häftad, 2024

   739 kr

   Lägg i varukorg

6. 

   Model Checking Software

   23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

   Av Dragan Bošnački, Anton Wijs

   Häftad, 2016

   739 kr

   Lägg i varukorg