Anton Wijs – författare
Visar alla böcker från författaren .
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
659 kr
Skickas inom 10-15 vardagar
Inbunden, Engelska, 2023
1 199 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2024
849 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 739 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
729 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
729 kr
Skickas inom 10-15 vardagar