Zhiming Liu - Böcker

Visar alla böcker från författaren Zhiming Liu.
21 produkter
Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems, Häftad

Engineering Trustworthy Software Systems

Av Jonathan P. Bowen, Zhiming Liu, Zili Zhang

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar
Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems, Häftad

Engineering Trustworthy Software Systems

Av Jonathan P. Bowen, Zhiming Liu, Zili Zhang

Häftad, Engelska, 2019

849 kr

Skickas inom 10-15 vardagar
Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems, Häftad

Engineering Trustworthy Software Systems

Av Jonathan P. Bowen, Zhiming Liu, Zili Zhang

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar
Helmut Seidl, Zhiming Liu, Corina S. Pasareanu - Theoretical Aspects of Computing – ICTAC 2022, Häftad

Theoretical Aspects of Computing – ICTAC 2022

Av Helmut Seidl, Zhiming Liu, Corina S. Pasareanu

Häftad, Engelska, 2022

729 kr

Skickas inom 10-15 vardagar
  • Nyhet
Zhiming Liu, Adnane Saoud, Heike Wehrheim - Theoretical Aspects of Computing – ICTAC 2025, Häftad

Theoretical Aspects of Computing – ICTAC 2025

Av Zhiming Liu, Adnane Saoud, Heike Wehrheim

Häftad, Engelska, 2025

1 499 kr

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

Formal Aspects of Component Software

Av José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue, Jose Luiz Fiadeiro

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar
Xuandong Li, Zhiming Liu, Wang Yi - Dependable Software Engineering: Theories, Tools, and Applications, Häftad

Dependable Software Engineering: Theories, Tools, and Applications

Av Xuandong Li, Zhiming Liu, Wang Yi

Häftad, Engelska, 2015

699 kr

Skickas inom 10-15 vardagar
Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems, Häftad

Engineering Trustworthy Software Systems

Av Zhiming Liu, Zili Zhang

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar
Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems, Häftad

Engineering Trustworthy Software Systems

Av Jonathan P. Bowen, Zhiming Liu, Zili Zhang

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar
Zhiming Liu, Keijiro Araki - Theoretical Aspects of Computing - ICTAC 2004, Häftad

Theoretical Aspects of Computing - ICTAC 2004

Av Zhiming Liu, Keijiro Araki

Häftad, Engelska, 2005

1 449 kr

Skickas inom 10-15 vardagar
Zhiming Liu, Jifeng He - Formal Methods and Software Engineering, Häftad

Formal Methods and Software Engineering

Av Zhiming Liu, Jifeng He

Häftad, Engelska, 2006

1 449 kr

Skickas inom 10-15 vardagar
Chris George, Zhiming Liu, Jim Woodcock - Domain Modeling and the Duration Calculus, Häftad

Domain Modeling and the Duration Calculus

Av Chris George, Zhiming Liu, Jim Woodcock

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar
Cliff B. Jones, Zhiming Liu, Jim Woodcock - Formal Methods and Hybrid Real-Time Systems, Häftad

Formal Methods and Hybrid Real-Time Systems

Av Cliff B. Jones, Zhiming Liu, Jim Woodcock

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar
Cliff B. Jones, Zhiming Liu, Jones Woodcock - Theoretical Aspects of Computing - ICTAC 2007, Häftad

Theoretical Aspects of Computing - ICTAC 2007

Av Cliff B. Jones, Zhiming Liu, Jones Woodcock

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar
Zhiming Liu, Anders P. Ravn - Automated Technology for Verification and Analysis, Häftad

Automated Technology for Verification and Analysis

Av Zhiming Liu, Anders P. Ravn

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar
Zhiming Liu, Alan Wassyng - Foundations of Health Informatics Engineering and Systems, Häftad

Foundations of Health Informatics Engineering and Systems

Av Zhiming Liu, Alan Wassyng

Häftad, Engelska, 2012

679 kr

Skickas inom 10-15 vardagar
Zhiming Liu, Jim Woodcock, Huibiao Zhu - Theories of Programming and Formal Methods, Häftad

Theories of Programming and Formal Methods

Av Zhiming Liu, Jim Woodcock, Huibiao Zhu

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar
Zhiming Liu, Jim Woodcock, Huibiao Zhu - Theoretical Aspects of Computing -- ICTAC 2013, Häftad

Theoretical Aspects of Computing -- ICTAC 2013

Av Zhiming Liu, Jim Woodcock, Huibiao Zhu

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar
Zhiming Liu, Jim Woodcock, Huibiao Zhu - Unifying Theories of Programming and Formal Engineering Methods, Häftad

Unifying Theories of Programming and Formal Engineering Methods

Av Zhiming Liu, Jim Woodcock, Huibiao Zhu

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar
LIU ZHIMING, Zhiming Liu, Jifeng He, China) Liu, Zhiming (United Nations Univ, China) He, Jifeng (East China Normal Univ, Shanghai - Mathematical Frameworks For Component Software: Models For Analysis And Synthesis, Inbunden
Del 2 - Series On Component-based Software Development

Mathematical Frameworks For Component Software: Models For Analysis And Synthesis

Av LIU ZHIMING, Zhiming Liu, Jifeng He, China) Liu, Zhiming (United Nations Univ, China) He, Jifeng (East China Normal Univ, Shanghai

Inbunden, Engelska, 2006

2 799 kr

Tillfälligt slut
Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu, Claudio Gomes - Engineering Trustworthy Software Systems, Häftad
Del 15584 - Lecture Notes in Computer Science

Engineering Trustworthy Software Systems

Av Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu, Claudio Gomes

Häftad, Engelska, 2025

839 kr

Skickas inom 10-15 vardagar