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

avaa valikko

Naijun Zhan | Booky.fi

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



Zhan, Naijun; Wang, Shuling; Zhao, Hengjun
Springer
2016
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
115,90 €
Zhan, Naijun; Wang, Shuling; Zhao, Hengjun
Springer
2018
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
115,90 €
Fränzle, Martin; Kapur, Deepak; Zhan, Naijun
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Jones, Cliff; Wang, Ji; Zhan, Naijun
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Huisman, Marieke; Păsăreanu, Corina; Zhan, Naijun
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
110,90 €
André, Étienne; Wang, Jingyi; Zhan, Naijun
Springer
2025
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Formal Methods and Software Engineering : 26th International Conference on Formal Engineering Methods, ICFEM 2025,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
102,30 €