- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Boeken geschreven door Mingsheng Ying
-
Topology in Process Calculus
Mingsheng Ying
- Hardcover | Engels
- A monograph presenting new concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems. Profess... Lees meer
€ 116,95€ 116,95 -
Topology in Process Calculus
Mingsheng Ying
- Paperback | Engels
- A monograph presenting new concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems. Profess... Lees meer
€ 90,95€ 90,95 -
Model Checking Quantum Systems
Mingsheng Ying, Yuan Feng
- Hardcover | Engels
- Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware a... Lees meer
€ 115,45€ 115,45 -
Foundations of Quantum Programming
Mingsheng Ying
- Paperback | Engels
- Foundations of Quantum Programming discusses how new programming methodologies and technologies developed for current computers can be extended to exp... Lees meer
€ 203,95€ 203,95
4 van 4 resultaten getoond