Search alternatives:
london mathematical » non mathematical, common mathematical, motion mathematical
mathematical tools » mathematical theory
tools student » tools students, schools student, tools studying
student text » student test, student team, student context
london mathematical » non mathematical, common mathematical, motion mathematical
mathematical tools » mathematical theory
tools student » tools students, schools student, tools studying
student text » student test, student team, student context
|
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