Del 13030
Model Checking, Synthesis, and Learning
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Häftad, 2021
939 kr
Treuer Ungehorsam
Inbunden, Tyska
369 kr
Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Mått144 x 208 x 36 mm
- Vikt594 g
- FormatInbunden
- SpråkTyska
- Antal sidor448
- FörlagChristliche Verlagsges.
- ISBN9783863539146
Tillhör följande 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
699 kr
Tools and Algorithms for the Construction and Analysis of Systems
Tiziana Margaria, Wang Yi
Häftad, 2001
1 439 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
429 kr
Del 13030
Model Checking, Synthesis, and Learning
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Häftad, 2021
939 kr
Del 9409
Dependable Software Engineering: Theories, Tools, and Applications
Xuandong Li, Zhiming Liu, Wang Yi
Häftad, 2015
699 kr
Tools and Algorithms for the Construction and Analysis of Systems
Tiziana Margaria, Wang Yi
Häftad, 2001
1 439 kr
- Nyhet
Del 3