Author books / Книги автора Marieke Huisman Anton Wijs » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Marieke Huisman Anton Wijs

book Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

rar

Author: Marieke Huisman Anton Wijs
Language: English
Year: 2023

00

06.02.2025

0

0

book Concise Guide to Software Verification. From Model Checking to Annotation Checking

Concise Guide to Software Verification. From Model Checking to Annotation Checking

pdf

Author: Marieke Huisman Anton Wijs
Language: English
Year: 2023

00

02.03.2024

0

0

book Concise Guide to Software Verification: From Model Checking to Annotation Checking

Concise Guide to Software Verification: From Model Checking to Annotation Checking

pdf

Author: Marieke Huisman Anton Wijs
Language: English
Year: 2023

00

01.03.2024

0

0

book Concise Guide to Software Verification : From Model Checking to Annotation Checking

Concise Guide to Software Verification : From Model Checking to Annotation Checking

epub

Author: Marieke Huisman, Anton Wijs
Language: English
Year: 2023

00

01.03.2024

4

0

book Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (Lecture Notes in Computer Science, 13487)

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (Lecture Notes in Computer Science, 13487)

pdf

Author: Jan Friso Groote (editor) Marieke Huisman (editor)
Language: English
Year: 2022

00

14.02.2024

0

0

book Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

epub

Author: Marieke Huisman Corina Păsăreanu Naijun Zhan
Language: English
Year: 2021

00

08.02.2024

0

0

book Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

pdf

Author: Marieke Huisman Corina Păsăreanu Naijun Zhan
Language: English
Year: 2021

00

08.02.2024

0

0

book 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

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

pdf

Author: Dirk Beyer Marieke Huisman Fabrice Kordon Bernhard Steffen
Language: English
Year: 2019

00

30.01.2024

0

0

book 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, Proceedin

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, Proceedin

pdf

Author: Dirk Beyer Marieke Huisman
Language: English
Year: 2018

00

30.01.2024

0

0

book Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

pdf

Author: Dirk Beyer Marieke Huisman
Language: English
Year: 2018

00

29.01.2024

0

0