SULJE VALIKKO

Ajankohtaista
Viikon poiminnat
Koulu kutsuu taas! 🎒
Hyvän mielen kesälukemista
Aloita uusi sarja
Pokkarista seuraa lomalla
Finlandia-palkinnon ehdokkaat ja voittajat
Anna kirjalle uusi elämä! Akateeminen x Kierrätyskeskus
Tapahtumat
7.8. Kirjojen yö Tampere
14.8. Kirjojen yö Helsinki
14.8. Kirjojen yö Turku
20.8. Emmi Itäranta, Risto Isomäki ja Elina Kahla
27.8. Markku Tasala
10.9. Julia Ahvenus ja Anu Pensola
4.9. Olivier Norek
Näistä puhumme juuri nyt!
Henkilökunta suosittelee
Suomenkielinen kaunokirjallisuus
Kotimainen kaunokirjallisuus
Käännetty kaunokirjallisuus
Nykykirjallisuus ja muut kaunokirjat
Keltainen Kirjasto
Romantiikka
Historialliset romaanit
Sotakirjallisuus
Fantasia ja scifi
Pokkarit
Sarjakuvat
Runous
Mietelauseet
Selkokirjat
Suomenkielinen jännitys
Dekkarit
Jännitys, trillerit ja kauhu
Suosittelemme: Satu Rämö
Suomenkielinen tietokirjallisuus
Elämänkerrat ja muistelmat
Yleistieto
Historia
Yhteiskunta
Taide ja arkkitehtuuri
Yritykset ja talous
Oikeustiede
Lääketiede
Tietotekniikka
Ajoneuvot
Käsityötaide
Kalenterit
Hyvinvointikirjat
Elämäntaito
Ihmissuhteet
Kauneus ja terveys
Psykologia
Lapset, vauvat, raskaus
Voimistelu
Harrastekirjat
Keittokirjat
Sisustus
Käsityöt
Talo ja piha
Puutarha ja kasvit
Urheilu ja ulkoilu
Matkakirjat
Eläimet
Musiikki
Valokuvaus
Metsästys ja kalastus
Lastenkirjat
Suomenkieliset lastenkirjat
Ruotsinkieliset lastenkirjat
Englanninkieliset lastenkirjat
Kuvakirjat
Oppi&ilo tuotteet kaikenikäisille
Harry Potter -sarja
Rambon talli! 🐎
Nuortenkirjat
Kaikki nuortenkirjat
Neropatin päiväkirja -sarja
Jännitystä ja kauhua nuorille
Lahjakortti
Tietoa verkkokaupasta
Uutishuone

avaa valikko

Wolfgang+Ahrendt | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 6 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
Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Erfolgsfaktor Sozialkompetenz
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 €
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
Deductive Software Verification – The KeY Book - From Theory to Practice
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
121,40 €
Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
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 €
Tests and Proofs - 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceed
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 €
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
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
Sisäänkirjautuminen
Kirjaudu sisäänRekisteröityminen
Oma tili
Omat tiedotOmat tilauksetOmat laskut
Meistä
Yhteystiedot ja aukioloajatUsein kysytyt Akateemisen YstäväklubiToimitusehdotTietosuojaselosteMaksutavatEvästeiden hallinta
Seuraa Akateemista
Instagram Facebook Threads TikTok YouTube LinkedIn