Wang Yi - Böcker

Visar alla böcker från författaren Wang Yi.
6 produkter
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi, Ernst-Rudiger Olderog - Model Checking, Synthesis, and Learning, Häftad

Model Checking, Synthesis, and Learning

Av Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi, Ernst-Rudiger Olderog

Häftad, Engelska, 2021

949 kr

Skickas inom 7-10 vardagar
Xuandong Li, Zhiming Liu, Wang Yi - Dependable Software Engineering: Theories, Tools, and Applications, Häftad

Dependable Software Engineering: Theories, Tools, and Applications

Av Xuandong Li, Zhiming Liu, Wang Yi

Häftad, Engelska, 2015

699 kr

Skickas inom 7-10 vardagar
Paul Pettersson, Wang Yi - Formal Modeling and Analysis of Timed Systems, Häftad

Formal Modeling and Analysis of Timed Systems

Av Paul Pettersson, Wang Yi

Häftad, Engelska, 2005

709 kr

Skickas inom 7-10 vardagar
Tiziana Margaria, Wang Yi - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
Del 2031 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Av Tiziana Margaria, Wang Yi

Häftad, Engelska, 2001

1 449 kr

Skickas inom 7-10 vardagar
Wang Yi, Hannah Nation, J. D. Tseng - Treuer Ungehorsam, Inbunden

Treuer Ungehorsam

Av Wang Yi, Hannah Nation, J. D. Tseng

Inbunden, Tyska

399 kr

Skickas inom 3-6 vardagar