Search result - Books - CeDe.ch

Your contact at CeDe

Any questions, tips, praise or criticism? Your feedback helps us to make CeDe.ch even better. That's why we are pleased to receive every message and answer all our emails quickly, competently and willingly. Thank you!

This site uses cookies. Read our privacy policy to learn more about how we use cookies and how you can change your preferences. OK

Top service and free shipping since 1997

Search result

Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems

Jonathan P. Bowen, Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems English 14.04.2019 Paperback / Softback Fr. 81.00 1-2 weeks (title will be printed to order)

Xuandong Li, Zhimin Liu, Zhiming Liu, Wang Yi - Dependable Software Engineering: Theories, Tools, and Applications

Xuandong Li, Zhimin Liu, Zhiming Liu, Wang Yi Dependable Software Engineering: Theories, Tools, and Applications English 01.01.2015 Paperback / Softback Fr. 68.00 6-7 weeks

Jonathan P. Bowen, Zhimin Liu, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems

Jonathan P. Bowen, Zhimin Liu, Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks

Araki, Araki, Keijiro Araki, Zhimin Liu, Zhiming Liu - Theoretical Aspects of Computing - ICTAC 2004

Araki, Araki, Keijiro Araki, Zhimin Liu, Zhiming Liu Theoretical Aspects of Computing - ICTAC 2004 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Cliff B. Jones, Zhimin Liu, Zhiming Liu, Jim Woodcock - Formal Methods and Hybrid Real-Time Systems

Cliff B. Jones, Zhimin Liu, Zhiming Liu, Jim Woodcock Formal Methods and Hybrid Real-Time Systems English 25.09.2007 Paperback / Softback Fr. 70.00 6-7 weeks

Cliff B. Jones, Zhiming Liu, Jim Woodcock, Jones Woodcock - Theoretical Aspects of Computing - ICTAC 2007

Cliff B. Jones, Zhiming Liu, Jim Woodcock, Jones Woodcock Theoretical Aspects of Computing - ICTAC 2007 English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Jifeng He, Zhiming Liu - Formal Methods and Software Engineering

Jifeng He, Zhiming Liu Formal Methods and Software Engineering English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Chris George, Zhiming Liu, Jim Woodcock - Domain Modeling and the Duration Calculus

Chris George, Zhiming Liu, Jim Woodcock Domain Modeling and the Duration Calculus English 28.08.2007 Paperback / Softback Fr. 70.00 6-7 weeks

Zhimin Liu, Zhiming Liu, P Ravn, P Ravn, Anders P. Ravn - Automated Technology for Verification and Analysis

Zhimin Liu, Zhiming Liu, P Ravn, P Ravn, Anders P. Ravn Automated Technology for Verification and Analysis English 01.01.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Zhiming Liu, Adnane Saoud, Heike Wehrheim - Theoretical Aspects of Computing - ICTAC 2025

Zhiming Liu, Adnane Saoud, Heike Wehrheim Theoretical Aspects of Computing - ICTAC 2025 English Paperback / Softback Fr. 102.00 Will be released 30.01.2026

Jose Luiz Fiadeiro, José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue - Formal Aspects of Component Software

Jose Luiz Fiadeiro, José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue Formal Aspects of Component Software English 30.07.2014 Paperback / Softback Sold out