Marieke Huisman – författare
Visar alla böcker från författaren Marieke Huisman. Handla med fri frakt och snabb leverans.
26 produkter
Tools and Algorithms for the Construction and Analysis of Systems
Av Bernhard Steffen, Fabrice Kordon m. fl.
Häftad, 2020
661 kr
Lägg i varukorg
Tools and Algorithms for the Construction and Analysis of Systems
Av Bernhard Steffen, Fabrice Kordon m. fl.
Inbunden, 2020
734 kr
Lägg i varukorg
Tools and Algorithms for the Construction and Analysis of Systems
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Av Dirk Beyer, Marieke Huisman m. fl.
Häftad, 2019
569 kr
Lägg i varukorg
This book is Open Access under a CC BY licence.This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the …
Formal Methods
24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
Av Marieke Huisman, Corina Păsăreanu m. fl.
Häftad, 2021
1243 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections …
Formal Methods
24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
Av Naijun Zhan, Corina Pasareanu m. fl.
E-bok, 2021
1634 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical …
Formal Methods for Industrial Critical Systems
27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings
Av Jan Friso Groote, Marieke Huisman
Häftad, 2022
792 kr
Lägg i varukorg
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They …
Formal Methods for Industrial Critical Systems
27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings
Av Marieke Huisman, Jan Friso Groote
E-bok, 2022
1007 kr
Lägg i varukorg
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They …
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 …
Formal Techniques for Distributed Objects, Components, and Systems
43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings
Av Marieke Huisman, António Ravara
Häftad, 2023
792 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing …
Formal Techniques for Distributed Objects, Components, and Systems
43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings
Av Antonio Ravara, Marieke Huisman
E-bok, 2023
1007 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing …
Tests and Proofs
18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings
Av Marieke Huisman, Falk Howar
Häftad, 2024
1534 kr
Lägg i varukorg
This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal …
Tests and Proofs
18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings
Av Falk Howar, Marieke Huisman
E-bok, 2024
1948 kr
Lägg i varukorg
This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal …
Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Av Erika Ábrahám, Marieke Huisman
Häftad, 2016
906 kr
Lägg i varukorg
This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedFormal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 paperspresented in this volume were carefully reviewed and selected from 99submissions. They were organized in topical sections …
Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Av Marieke Huisman, Erika Abraham
E-bok, 2016
1150 kr
Lägg i varukorg
This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedFormal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016. The 33 paperspresented in this volume were carefully reviewed and selected from 99submissions. They were organized in topical sections …
Tools and Algorithms for the Construction and Analysis of Systems
24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Av Dirk Beyer, Marieke Huisman
Häftad, 2018
569 kr
Lägg i varukorg
This book is Open Access under a CC BY licence. The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held …
Tools and Algorithms for the Construction and Analysis of Systems
24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Av Dirk Beyer, Marieke Huisman
Häftad, 2018
569 kr
Lägg i varukorg
This book is Open Access under a CC BY licence.The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as …
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
Av Gilles Barthe, Lilian Burdy m. fl.
Häftad, 2005
569 kr
Lägg i varukorg
This volume contains a selection of refereed papers from participants of the workshop "Construction and Analysis of Safe, Secure and Interoperable Smart Devices" (CASSIS), held from the 10th to the 13th March 2004 in Marseille, France: http://www-sop.inria.fr/everest/events/cassis04/ The workshop …
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
Av Traian Muntean, Jean-Louis Lanet m. fl.
E-bok, 2005
755 kr
Lägg i varukorg
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
Av Gilles Barthe, Benjamin Gregoire m. fl.
Häftad, 2006
569 kr
Lägg i varukorg
This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005. The 9 revised full papers presented were carefully selected during two rounds of reviewing and improvement from about …
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
Av Jean-Luis Lanet, Marieke Huisman m. fl.
E-bok, 2006
755 kr
Lägg i varukorg
Fundamental Approaches to Software Engineering
20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Av Marieke Huisman, Julia Rubin
Häftad, 2017
569 kr
Lägg i varukorg
This book constitutes the proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 23 papers …
Fundamental Approaches to Software Engineering
20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Av Julia Rubin, Marieke Huisman
E-bok, 2017
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 23 papers …
