Hoppa till sidans huvudinnehåll

Anton Wijs - Böcker

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

Formal Aspects of Component Software

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

Av Gwen Salaün, Anton Wijs m. fl

Häftad, Engelska, 2021

649 kr

Skickas inom 10-15 vardagar

Concise Guide to Software Verification

From Model Checking to Annotation Checking

Av Marieke Huisman, Anton Wijs

Inbunden, Engelska, 2023

1 269 kr

Skickas inom 10-15 vardagar

Concise Guide to Software Verification

From Model Checking to Annotation Checking

Av Marieke Huisman, Anton Wijs

Häftad, Engelska, 2024

959 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

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

Av Paula Herber, Anton Wijs

Häftad, Engelska, 2023

1 699 kr

Skickas inom 10-15 vardagar

Model Checking Software

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

Av Thomas Neele, Anton Wijs

Häftad, Engelska, 2024

829 kr

Skickas inom 10-15 vardagar

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 m. fl

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar