Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
|
|

avaa valikko

Dejan Nickovic | Booky.fi

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



Jurdzinski, Marcin; Nickovic, Dejan
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
47,20 €
Benveniste, Albert; Caillaud, Benoit; Nickovic, Dejan; Passerone, Roberto; Raclet, Jean-Baptiste
now publishers Inc
2018
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Contracts for System Design
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,10 €
ter Beek, Maurice H.; Ničković, Dejan
Springer
2020
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Formal Methods for Industrial Critical Systems : 25th International Conference, FMICS 2020, Vienna, Austria, September
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Deshmukh, Jyotirmoy; Ničković, Dejan
Springer
2020
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Runtime Verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €