Wang Yi – författare

Visar alla böcker från författaren Wang Yi.

5 produkter

1. 

   Model Checking, Synthesis, and Learning

   Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

   Av Ernst-Rüdiger Olderog, Bernhard Steffen m. fl.

   Häftad, 2021

   949 kr

   Lägg i varukorg

2. 

   Dependable Software Engineering: Theories, Tools, and Applications

   First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

   Av Xuandong Li, Zhiming Liu m. fl.

   Häftad, 2015

   699 kr

   Lägg i varukorg

3. 

   Formal Modeling and Analysis of Timed Systems

   Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

   Av Paul Pettersson, Wang Yi

   Häftad, 2005

   709 kr

   Lägg i varukorg

4. 

   Tools and Algorithms for the Construction and Analysis of Systems

   7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

   Av Tiziana Margaria, Wang Yi

   Häftad, 2001

   1449 kr

   Lägg i varukorg

5. 

   Treuer Ungehorsam

   Av Wang Yi, Hannah Nation m. fl.

   Inbunden

   389 kr

   Lägg i varukorg