Richard Bubel | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 5 tuotetta
Haluatko tarkentaa hakukriteerejä?

Genetic Resources and Traditional Knowledge - Case Studies and Conflicting Interests

Tania Bubela; E. Richard Gold
Edward Elgar
2013
Pehmeäkantinen kirja

54,00 €

Genetic Resources and Traditional Knowledge - Case Studies and Conflicting Interests

Tania Bubela; E. Richard Gold
Edward Elgar
2012
Kovakantinen kirja

179,80 €

Deductive Software Verification – The KeY Book - From Theory to Practice

Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Schmitt, Peter H.; Ulbrich, Mattias
Springer International Publishing AG
2016
Pehmeäkantinen kirja

120,90 €

Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY

Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,10 €

The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th

Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Johnsen, Einar Broch
Springer
2022
Pehmeäkantinen kirja

100,90 €