Bedankt voor het vertrouwen het afgelopen jaar! Om jou te bedanken bieden we GRATIS verzending (in België) aan op alles gedurende de hele maand januari.
- Afhalen na 1 uur in een winkel met voorraad
- In januari gratis thuislevering in België
- Ruim aanbod met 7 miljoen producten
Bedankt voor het vertrouwen het afgelopen jaar! Om jou te bedanken bieden we GRATIS verzending (in België) aan op alles gedurende de hele maand januari.
- Afhalen na 1 uur in een winkel met voorraad
- In januari gratis thuislevering in België
- 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,95Levering 1 à 2 weken€ 116,95Levering 1 à 2 weken -
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,95Levering 1 à 2 weken€ 90,95Levering 1 à 2 weken -
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
€ 109,95Levering 2 à 3 weken€ 109,95Levering 2 à 3 weken -
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,95Levering 2 à 3 weken€ 203,95Levering 2 à 3 weken
4 van 4 resultaten getoond