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.
الكتب الأكثر مبيعًا
قد تكون مهتمًا أيضًا بهذه الكتب التي كتبها نفس المؤلف
Professor in Software Reliability, leading the FMT (Formal Methods and Tools) Group at the University of Twente.
الأكثر شهرة
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
