|
|

avaa valikko

architectureverificationandvalidation | Akateeminen Kirjakauppa

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



Simonis, Helmut
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
137,30 €
Pun, Violet Ka I; Stolz, Volker; Simao, Adenilso
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Theoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Pro
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Ben Hedia, Belgacem; Chen, Yu-Fang; Liu, Gaiyun; Yu, Zhenhua
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, Oct
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Lahiri, Shuvendu K.; Wang, Chao
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
41,20 €
Janicki, Ryszard; Sidorova, Natalia; Chatain, Thomas
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Lin, Shang-Wei; Hou, Zhe; Mahony, Brendan
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Si
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €