This book provides a comprehensive collection of methods and approaches for using formal methods ...
This book provides a comprehensive collection of methods and approaches for using formal methods ...
This edited book introduces readers to the area of 'Everyday Virtual and Augmented Reality'. With...
This edited book introduces readers to the area of Everyday Virtual and Augmented Reality. With V...