Anton Wijs - Böcker
Visar alla böcker från författaren Anton Wijs.
6 produkter
6 produkter
Del 13077 - Lecture Notes in Computer Science
Formal Aspects of Component Software
17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings
Häftad, Engelska, 2021
649 kr
Skickas inom 10-15 vardagar
Concise Guide to Software Verification
From Model Checking to Annotation Checking
Inbunden, Engelska, 2023
1 179 kr
Skickas inom 10-15 vardagar
Concise Guide to Software Verification
From Model Checking to Annotation Checking
Häftad, Engelska, 2024
829 kr
Skickas inom 10-15 vardagar
Del 14300 - Lecture Notes in Computer Science
Integrated Formal Methods
18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings
Häftad, Engelska, 2023
1 709 kr
Skickas inom 10-15 vardagar
Del 14624 - Lecture Notes in Computer Science
Model Checking Software
30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings
Häftad, Engelska, 2024
719 kr
Skickas inom 10-15 vardagar
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
Häftad, Engelska, 2016
719 kr
Skickas inom 10-15 vardagar