Anton Wijs – författare
Visar alla böcker från författaren Anton Wijs. Handla med fri frakt och snabb leverans.
12 produkter
Formal Aspects of Component Software
17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings
Häftad, 2021
513 kr
Lägg i varukorg
This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021.The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 …
Formal Aspects of Component Software
17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings
E-bok, 2021
650 kr
Lägg i varukorg
This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 …
Concise Guide to Software Verification
From Model Checking to Annotation Checking
Av Marieke Huisman, Anton Wijs
Inbunden, 2023
934 kr
Lägg i varukorg
This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the user has some control over the properties that are being checked. More specifically, it shows a …
Concise Guide to Software Verification
From Model Checking to Annotation Checking
Av Anton Wijs, Marieke Huisman
E-bok, 2023
897 kr
Lägg i varukorg
This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the user has some control over the properties that are being checked. More specifically, it shows a …
Concise Guide to Software Verification : From Model Checking to Annotation Checking
Av Marieke Huisman, Anton Wijs
2023
667 kr
Lägg i varukorg
Concise Guide to Software Verification
From Model Checking to Annotation Checking
Av Marieke Huisman, Anton Wijs
Häftad, 2024
660 kr
Lägg i varukorg
This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the user has some control over the properties that are being checked. More specifically, it shows a …
Integrated Formal Methods
18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings
Häftad, 2023
1355 kr
Lägg i varukorg
This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference, IFM 2023, in November 2023, held in Leiden, The Netherlands. The 16 full papers presented together with 2 short papers were carefully reviewed and selected from 51 submissions. The conference focuses …
Integrated Formal Methods
18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings
E-bok, 2023
1780 kr
Lägg i varukorg
This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference, IFM 2023, in November 2023, held in Leiden, The Netherlands. The 16 full papers presented together with 2 short papers were carefully reviewed and selected from 51 submissions. The conference focuses …
Model Checking Software
30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings
Häftad, 2024
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected …
Model Checking Software
30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings
E-bok, 2024
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected …
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
Häftad, 2016
569 kr
Lägg i varukorg
This bookconstitutes the refereed proceedings of the 23rd International Symposium on ModelChecking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4tool demonstrations, were carefully reviewed and …
Model Checking Software
23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Av Anton Wijs, Dragan Bosnacki
E-bok, 2016
732 kr
Lägg i varukorg
This bookconstitutes the refereed proceedings of the 23rd International Symposium on ModelChecking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4tool demonstrations, were carefully reviewed and …
