Marieke Huisman(editor)

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

Livres les plus vendus

Vous pourriez également être intéressé par ces livres écrits par le même auteur.

format disponible

EPUB

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)

Gratuite

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

Le plus populaire

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

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

Liste des livres

Vous pourriez également être intéressé par d'autres livres de cette section

format disponible

EPUB

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)

Gratuite

Français

Télécharger des applications