Martin Schäf – författare
Visar alla böcker från författaren Martin Schäf. 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 Daniel Dietsch, Andrey Rybalchenko m. fl.
Häftad, 2026
564 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 …
