Richard+Bubel | Akateeminen Kirjakauppa

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

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,40 €

Genetic Resources and Traditional Knowledge - Case Studies and Conflicting Interests

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

51,40 €

Genetic Resources and Traditional Knowledge - Case Studies and Conflicting Interests

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

173,20 €

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

121,40 €

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

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

101,40 €

Sisäänkirjautuminen

Kirjaudu sisään
Rekisteröityminen

Oma tili

Omat tiedot
Omat tilaukset
Omat laskut

Meistä

Yhteystiedot ja aukioloajat
Usein kysytyt
Akateemisen Ystäväklubi
Toimitusehdot
Maksutavat
Tietosuojaseloste
Evästeiden hallinta

Seuraa Akateemista

Instagram
Facebook
Threads
TikTok
YouTube
LinkedIn

Sisäänkirjautuminen

Kirjaudu sisään Rekisteröityminen

Oma tili

Omat tiedot Omat tilaukset Omat laskut

Meistä

Yhteystiedot ja aukioloajat Usein kysytyt Akateemisen Ystäväklubi Toimitusehdot Tietosuojaseloste Maksutavat Evästeiden hallinta

Seuraa Akateemista

Instagram Facebook Threads TikTok YouTube LinkedIn