|
|

avaa valikko

Dejan Nickovic | Akateeminen Kirjakauppa

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
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
Contracts for System Design
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,30 €
ter Beek, Maurice H.; Ničković, Dejan
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Deshmukh, Jyotirmoy; Ničković, Dejan
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
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 €