Catalogo · 9783540474609
Formal methods and software engineering
ISBN 9783540474609
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Engineering Trustworthy Software Systems
Zhiming Liu, Zili Zhang
Theoretical Aspects of Computing -- ICTAC 2013
Zhiming Liu, Jim Woodcock, Huibiao Zhu
Mathematical Frameworks for Component Software
Zhiming Liu, Jifeng He
Formal Aspects of Component Software
José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue
Dependable Software Engineering : Theories, Tools, and Applications
Xuandong Li, Zhiming Liu, Wang Yi
Zhongguo te se she hui zhu yi she hui jian she
Zhiming Liu
Unifying Theories of Programming and Formal Engineering Methods
Zhiming Liu, Jim Woodcock, Huibiao Zhu
Unifying Theories Of Programming And Formal Engineering Methods International Training School On Software Engineering Held At Ictac 2013 Shanghai China August 2630 2013 Advanced Lectures
Zhiming Liu
Theories of Programming and Formal Methods
Zhiming Liu, Jim Woodcock, Huibiao Zhu
Theories Of Programming And Formal Methods Essays Dedicated To Jifeng He On The Occasion Of His 70th Birthday
Zhiming Liu
Theoretical Aspects of Computing - ICTAC 2022
Helmut Seidl, Zhiming Liu, Corina S. Pasareanu
Dostoevsky and Kant
Evgenia Cherkasova
Verba volant · scripta manent