Hans-Dieter A. Hiep
4 titels in de boekenbase · Auteur · 2021–2024
Over Hans-Dieter A. Hiep
Hans-Dieter A. Hiep staat met 4 titels in de boekenbase als auteur. Het werk valt vooral onder exacte vakken en informatica hoger onderwijs en godsdienstige mystiek. Verschenen tussen 2021 en 2024 bij Hans-Dieter A. Hiep.
New Foundations for Separation Logic
Hans-Dieter A. Hiep
New Foundations for Separation Logic
Hans-Dieter A. Hiep
Paperback · 2024
New Foundations for Separation Logic
Hans-Dieter A. Hiep
New Foundations for Separation Logic
Hans-Dieter A. Hiep
E-book · 2024
New Foundations for Separation Logic (Coq artifact)
Hans-Dieter A. Hiep
New Foundations for Separation Logic (Coq artifact)
Hans-Dieter A. Hiep
· 2024
The Weirdest Three Weeks of my Life
Hans-Dieter A. Hiep
The Weirdest Three Weeks of my Life
Hans-Dieter A. Hiep
Hardback · 2021