Anton Wijs – författare

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

6 produkter

Kategorier

6 produkter

Del 13077
Del 13077 - Lecture Notes in Computer Science
Formal Aspects of Component Software
17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings
AvGwen Salaün,Anton Wijs
Häftad, Engelska, 2021
679 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 239 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
879 kr
Skickas inom 10-15 vardagar
Del 14300
Del 14300 - Lecture Notes in Computer Science
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 799 kr
Skickas inom 10-15 vardagar
Del 14624
Del 14624 - Lecture Notes in Computer Science
Model Checking Software
30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings
AvThomas Neele,Anton Wijs
Häftad, Engelska, 2024
749 kr
Skickas inom 10-15 vardagar
Del 9641
Del 9641 - Lecture Notes in Computer Science
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
Häftad, Engelska, 2016
749 kr
Skickas inom 10-15 vardagar