Del 13030
Model Checking, Synthesis, and Learning
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Häftad, 2021
720 kr
Treuer Ungehorsam
Inbunden, Tyska
282 kr
Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt över 249 kr.
Produktinformation
Utforska kategorier
Hoppa över listan
Mer från samma författare
Del 9409
Dependable Software Engineering: Theories, Tools, and Applications
Xuandong Li, Zhiming Liu, Wang Yi
Häftad, 2015
533 kr
Tools and Algorithms for the Construction and Analysis of Systems
Tiziana Margaria, Wang Yi
Häftad, 2001
1 102 kr
Hoppa över listan
Du kanske också är intresserad av
Faithful Disobedience – Writings on Church and State from a Chinese House Church Movement
Hannah Nation, J. D. Tseng, Ian Johnson, Hannah Nation, J. D. Tseng
Häftad, 2022
328 kr
Del 13030
Model Checking, Synthesis, and Learning
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Häftad, 2021
720 kr
Del 9409
Dependable Software Engineering: Theories, Tools, and Applications
Xuandong Li, Zhiming Liu, Wang Yi
Häftad, 2015
533 kr
Tools and Algorithms for the Construction and Analysis of Systems
Tiziana Margaria, Wang Yi
Häftad, 2001
1 102 kr
- Signerad!
- Nyhet
Del 2