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.
En çok satan kitaplar
Aynı yazar tarafından yazılan bu kitaplara da ilgi duyabilirsiniz.
Professor in Software Reliability, leading the FMT (Formal Methods and Tools) Group at the University of Twente.
En popüler
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
