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

AvGwen 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

AvMarieke Huisman,Anton Wijs

Inbunden, Engelska, 2023

1 109 kr

Skickas inom 10-15 vardagar

Concise Guide to Software Verification

From Model Checking to Annotation Checking

AvMarieke Huisman,Anton Wijs

Häftad, Engelska, 2024

839 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

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

AvPaula Herber,Anton Wijs

Häftad, Engelska, 2023

1 679 kr

Skickas inom 10-15 vardagar

Model Checking Software

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

AvThomas Neele,Anton Wijs

Häftad, Engelska, 2024

699 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

AvDragan Bošnački,Anton Wijs m. fl.

Häftad, Engelska, 2016

719 kr

Skickas inom 10-15 vardagar