|
|

avaa valikko

Anton Wijs | Akateeminen Kirjakauppa

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



Bošnački, Dragan; Wijs, Anton
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,20 €
Salaün, Gwen; Wijs, Anton
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja
Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
46,20 €
Huisman, Marieke; Wijs, Anton
Springer International Publishing AG
2023
Kovakantinen kirja
Concise Guide to Software Verification - From Model Checking to Annotation Checking
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
81,00 €
Herber, Paula; Wijs, Anton
Springer
2023
Pehmeäkantinen kirja
Integrated Formal Methods : 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
120,90 €
Neele, Thomas; Wijs, Anton
Springer
2024
Pehmeäkantinen kirja
Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Huisman, Marieke; Wijs, Anton
Springer International Publishing AG
2024
Pehmeäkantinen kirja
Concise Guide to Software Verification - From Model Checking to Annotation Checking
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
61,10 €