Stephan Merz – författare
Visar alla böcker från författaren Stephan Merz.
7 produkter
7 produkter
Inbunden, Engelska, 2008
3 829 kr
Skickas inom 11-20 vardagar
Del 8829 - Lecture Notes in Computer Science
Formal Methods and Software Engineering
16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Häftad, Engelska, 2014
719 kr
Skickas inom 10-15 vardagar
Del 9807 - Lecture Notes in Computer Science
Interactive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Häftad, Engelska, 2016
719 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 1996
719 kr
Skickas inom 10-15 vardagar
Inbunden, Engelska, 2008
1 079 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2010
1 079 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2010
719 kr
Skickas inom 10-15 vardagar