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

Dirk Beyer(editor)Marieke Huisman(editor)Fabrice Kordon(editor)Bernhard Steffen(editor)

25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

forme de livre

Gratuite

Commentaires

Aperçu de la notation

Sélectionnez une ligne ci-dessous pour filtrer les avis.

Global

Notes moyennes des clients

Critique de ce livre

Partagez vos réflexions avec d'autres lecteurs

Le plus populaire

description_of_book

25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Informations supplémentaires

Fournisseur

SpringerOpen

Éditrice

SpringerOpen

Date de publication

2020 Jun 11

Auteurs-

Dirk Beyer(editor)Marieke Huisman(editor)Fabrice Kordon(editor)Bernhard Steffen(editor)

ISBN

978-3-030-17502-3

Sujets

Informatique et TI Conférences Springer

À propos des auteurs

Dirk Beyer(editor)

Full Professor, Head of Research Chair (Lehrstuhlinhaber) Software and Computational Systems Lab Institute for Informatics Ludwig-Maximilians-Universität München (LMU Munich)

Dirk Beyer(editor)

Marieke Huisman(editor)

Professor in Software Reliability, leading the FMT (Formal Methods and Tools) Group at the University of Twente.

Marieke Huisman(editor)

Fabrice Kordon(editor)

Professor at Sorbonne Université

Fabrice Kordon(editor)

Bernhard Steffen(editor)

Bernhard Steffen (born 31 May 1958 in Kiel, West Germany) is a German computer scientist and professor at the TU Dortmund University, Germany. His research focuses on various facets of formal methods ranging from program analysis and verification, to workflow synthesis, and to test-based modeling.

Bernhard Steffen(editor)

Table des matières

Français

Télécharger des applications