Search alternatives:
london mathematical » non mathematical, common mathematical, motion mathematical
mathematical tools » mathematical theory
tools studying » steels studying, cells studying, tools starting
studying texts » studying trends, studying agents, studying team
london mathematical » non mathematical, common mathematical, motion mathematical
mathematical tools » mathematical theory
tools studying » steels studying, cells studying, tools starting
studying texts » studying trends, studying agents, studying team
|
by Almeida, José Bacelar, Frade, Maria João, Pinto, Jorge Sousa, Melo de Sousa, Simão
Published 2011
Table of Contents:
“...List of Figures -- 1. Introduction -- 2. An Overview of Formal Methods Tools and Techniques -- 3...”Published 2011
Springer London