*Result*: Understanding formal methods
*Title*:
Understanding formal methods / written and transl. by: Jean-François Monin
*Author/editor-in-chief*:
*Publication*:
London [u.a.] : Springer, 2003
*Physical description scale*:
XV, 275 S. : graph. Darst. ; 24 cm
*Format*:
*Language*:
*eng*
*Uniform title*:
Introduction aux méthodes formelles (engl.)
*Notes*:
Literaturverz. S. 255 - 267
*RVK-Notation*:
*Subject Added Keywords*:
*ISBN*:
1852332476 ; 9781852332471