Concise guide to formal methods Theory, fundamentals and industry applications

Gerard O Regan

Concise guide to formal methods Theory, fundamentals and industry applications - Switzerland Springer Publishing Company - Soft Binding xxiii 332


English

9780000000000

004.0151 REG-C