- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Livres écrits par Mingsheng Ying
Tous les livres de Mingsheng Ying
-
Topology in Process Calculus
Mingsheng Ying
- Livre relié | Anglais
- A monograph presenting new concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems. Profess... Savoir plus
83,95 €Livraison 2 à 3 semaines83,95 €Livraison 2 à 3 semaines -
Foundations of Quantum Programming
Mingsheng Ying
- Livre broché | Anglais
- Foundations of Quantum Programming discusses how new programming methodologies and technologies developed for current computers can be extended to exp... Savoir plus
203,95 €Livraison 2 à 3 semaines203,95 €Livraison 2 à 3 semaines -
Topology in Process Calculus
Mingsheng Ying
- Livre broché | Anglais
- A monograph presenting new concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems. Profess... Savoir plus
83,95 €Livraison 2 à 3 semaines83,95 €Livraison 2 à 3 semaines -
Model Checking Quantum Systems
Mingsheng Ying, Yuan Feng
- Livre relié | Anglais
- Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware a... Savoir plus
103,95 €Livraison 2 à 3 semaines103,95 €Livraison 2 à 3 semaines
4 sur 4 résultat(s) affiché(s)