Releases med Bernhard Steffen

I lager hos iMusic Visa slutsålda utgivelser
Cover for Bernhard Steffen · Tools and Algorithms for the Construction and Analysis of Systems (Pocketbok) (2020)
Pocketbok
Tools and Algorithms for the Con...
Bernhard Steffen
Cover for Bernhard Steffen · Tools and Algorithms for the Construction and Analysis of Systems (Inbunden Bok) (2020)
Inbunden Bok
Tools and Algorithms for the Con...
Bernhard Steffen
Cover for Bernhard Steffen · Grundlagen Der Hoheren Informatik: Induktives Vorgehen - Examen.press (Inbunden Bok) (2013)
Inbunden Bok
Grundlagen Der Hoheren Informati...
Bernhard Steffen
Cover for Bernhard Steffen · Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science (Pocketbok) (2004)
Pocketbok
Verification, Model Checking, an...
Bernhard Steffen