Zhiming Liu Editor

Editors: Jonathan P. Bowen, London Southbank University, UK; Zhiming Liu, Southwest University, Chongqing, China; Zili Zhang, Southwest University, Chongqing, China

Theoretical Aspects of Computing – ICTAC 2022

3 contributors - Paperback

£44.99

Find out more

Theories of Programming and Formal Methods

3 contributors - Paperback

£54.99

Find out more

Engineering Trustworthy Software Systems

2 contributors - Paperback

£44.99

Find out more

Engineering Trustworthy Software Systems

3 contributors - Paperback

£44.99

Find out more

Dependable Software Engineering: Theories, Tools, and Applications

3 contributors - Paperback

£39.99

Find out more

Engineering Trustworthy Software Systems

3 contributors - Paperback

£44.99

Find out more

Engineering Trustworthy Software Systems

3 contributors - Paperback

£49.99

Find out more

Formal Aspects of Component Software

3 contributors - Paperback

£49.99

Find out more

Mathematical Frameworks For Component Software: Models For Analysis And Synthesis

2 contributors - Hardback

£141.00

Find out more

Unifying Theories of Programming and Formal Engineering Methods

3 contributors - Paperback

£44.99

Find out more