Martin Schaf – författare
Visar alla böcker från författaren Martin Schaf. Handla med fri frakt och snabb leverans.
1 produkter
On the Pursuit of Insight and Elegance
Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday
Av Thomas Wies, Martin Schaf m. fl.
E-bok, 2026
755 kr
Lägg i varukorg
Andreas Podelski is one of the leading researchers in formal verification and software engineering, in particular automata and formal languages. After a Ph.D. from the University of Paris 7 in 1992 under the guidance of Maurice Nivat, he had research positions at DEC PRL and the Max Planck …
