Daniel Dietsch – författare
Visar alla böcker från författaren Daniel Dietsch. Handla med fri frakt och snabb leverans.
2 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
568 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 …
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 …
