Catalogo · 9780077090524
Provably correct systems
ISBN 9780077090524
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Mathematical Frameworks for Component Software
Zhiming Liu, Jifeng He
Formal methods and software engineering
Zhiming Liu, Jifeng He
Grundlagenforschung Für Vertrauenswürdige Software
Jifeng He
Fundamental Research for Trustworthy Software
Jifeng He
Advances in Computing Science - ASIAN 2000
Jifeng He, Masahiko Sato
Advances in Blended Learning
Elvis Wai Chung Leung, Fu Lee Wang, Lanfang Miao, Jianmin Zhao, Jifeng He
Verba volant · scripta manent