Herausgegeben von: Zhiming Liu
Hier finden Sie zu den besten Preisen alle Bücher, eBooks und Hörbücher von Zhiming Liu.
Bestellungen bis 15:00 Uhr für Produkte auf Lager erhalten Sie - ohne Versandgebühr - am nächsten Werktag.
1
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
-17.1 %
CHF 58.–
2
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Engineering Trustworthy Software Systems
Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
-17.1 %
CHF 58.–
3
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Theoretical Aspects of Computing - ICTAC 2004
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
-23.9 %
CHF 102.–
4
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Formal Methods and Software Engineering
8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
-23.7 %
CHF 103.–
5
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Automated Technology for Verification and Analysis
7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
-17.1 %
CHF 58.–
6
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Formal Methods and Hybrid Real-Time Systems
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
-17.1 %
CHF 58.–