zhiming liu
Engineering Trustworthy Software Systems
EbookSofort lieferbarThis volume contains lectures on leading-edge research in methods and tools for use in computer s...
Domain Modeling and the Duration Calculus
EbookSofort lieferbarThis book presents thoroughly revised tutorial papers based on lectures given by leading research...
Dependable Software Engineering: Theories, Tools, and Applications
EbookSofort lieferbarThis book constitutes the refereed proceedings of the First International Symposium on Dependable...
Formal Methods and Software Engineering
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 8th International Conference on Formal Engi...
Foundations of Health Informatics Engineering and Systems
EbookSofort lieferbarThis book constitutes the thoroughly refereed proceedings of the First International Symposium on...
Formal Aspects of Component Software
EbookSofort lieferbarThis book constitutes the revised selected papers of the 10th International Symposium on Formal A...
Engineering Trustworthy Software Systems
EbookSofort lieferbarThe six contributions included in this volume provide an overview of leading-edge research in met...
Automated Technology for Verification and Analysis
EbookSofort lieferbarThis book constitutes the proceedings of the 7th International Symposium on Automated Technology ...
Theories of Programming and Formal Methods
EbookSofort lieferbarThis Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September...
Web-Age Information Management
EbookSofort lieferbarThis book constitutes the refereed proceedings of six workshops of the 14th International Confere...
Formal Methods and Hybrid Real-Time Systems
EbookSofort lieferbarThis Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasi...
Engineering Trustworthy Software Systems
EbookSofort lieferbarThis volume contains a record of some of the lectures and seminars delivered at the Second Intern...