SULJE VALIKKO

avaa valikko

Wolfgang+Ahrendt | Akateeminen Kirjakauppa

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



Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Ahrendt, Bernd; Heuke, Ulrich; Neumann, Wolfgang; Tubbesing, Frank
Haufe Lexware GmbH
2021
Pehmeäkantinen kirja
Erfolgsfaktor Sozialkompetenz
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
77,60 €
Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Schmitt, Peter H.; Ulbrich, Mattias
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Deductive Software Verification – The KeY Book - From Theory to Practice
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
121,40 €
Ahrendt, Wolfgang; Tapia Tarifa, Silvia Lizeth
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja
Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Ahrendt, Wolfgang; Wehrheim, Heike
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Tests and Proofs - 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceed
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Johnsen, Einar Broch
Springer International Publishing AG
2022
Pehmeäkantinen kirja
The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
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