Validated designs for object-oriented systems

Descrição: This book provides an introduction to practical formal modelling techniques in the context of object-oriented syste... Veja mais