SULJE VALIKKO

Tapahtumat
26.2. Kätlin Kaldmaa ja Maaria Ylikangas
1.3. Antti Vihinen
5.3. Eveliina Talvitie ja Saara Henriksson
6.3. WTC Turku Book Club
8.3. Lasten lauantai Tapiolassa
12.3. Katja Kallio & Anna-Leena Härkönen sekä Frank Martela
19.3. Historiallisten romaanien ilta
26.3. Dekkari-ilta: Emelie Schepp, Joel Kangas ja Eeva Louko
9.4. Malin Slotte, Emma Klingenberg, Karin Collins och Anna-Lena Laurén
30.4. Niina Kivilä ja Ida Kukkapuro
Näistä puhumme juuri nyt!
Aloita uusi vuosi uusilla tarinoilla
Henkilökunta suosittelee
Kaunokirjallisuus
Kotimainen kaunokirjallisuus
Käännetty kaunokirjallisuus
Runous
Sarjakuvat
Mietelauseet
Pokkarit
Keltainen Kirjasto
Otavan kirjasto
Tietokirjallisuus
Elämänkerrat ja muistelmat
Yleistieto
Tietotekniikka
Ajoneuvot
Taide ja arkkitehtuuri
Käsityötaide
Historia
Yhteiskunta
Yritykset ja talous
Oikeustiede
Lääketiede
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
Kuvakirjat
Oppi&ilo tuotteet kaikenikäisille
Nuortenkirjat
Selkokirjat
Lahjakortti
Tietoa verkkokaupasta

avaa valikko

Andreas Lochbihler | Akateeminen Kirjakauppa

A MACHINE-CHECKED, TYPE-SAFE MODEL OF JAVA CONCURRENCY - LANGUAGE, VIRTUAL MACHINE, MEMORY MODEL, AND VERIFIED COMPILER

A Machine-Checked, Type-Safe Model of Java Concurrency - Language, Virtual Machine, Memory Model, and Verified Compiler
A MACHINE-CHECKED, TYPE-SAFE MODEL OF JAVA CONCURRENCY - LANGUAGE, VIRTUAL MACHINE, MEMORY MODEL, AND VERIFIED COMPILER
Andreas Lochbihler
Karlsruher Institut Fur Technologie (2014)
Pehmeäkantinen kirja
84,20 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
A Machine-Checked, Type-Safe Model of Java Concurrency - Language, Virtual Machine, Memory Model, and Verified Compiler
Andreas Lochbihler
84,20 €
Karlsruher Institut Fur Technologie
Sivumäärä: 438 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2014, 04.06.2014 (lisätietoa)
Tuotteella ei tuotekuvausta.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
A Machine-Checked, Type-Safe Model of Java Concurrency - Language, Virtual Machine, Memory Model, and Verified Compilerzoom
Näytä kaikki tuotetiedot
ISBN:
9783866448858
Aihealue:
Ulkomaiset kirjat
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste
Yhteystiedot
Toimitusehdot
Asiakaspalvelu
Tietosuojaseloste