|
|
Software specification methods /
Publication:
London : ISTE Ltd, 2006
. xxv, 418 p. :
25 cm.
Date:2006
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal methods : , state of the art and new directions /
Publication:
London : Springer, 2010
. xxiii, 273 p. :
24 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Process algebra for parallel and distributed processing /
Publication:
Boca Raton, FL : CRC Press, 2009
. xxii, 415 p. :
25 cm.
Date:2009
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
Formal techniques for computer systems and business processes : , European performance engineering workshop, EPEW 2005 and international workshop on web services and formal methods, WS-FM 2005, Versailles, France, September 1-3, 2005, proceedings /
Publication:
New York, NY : Springer, 2005
. xiii, 348 p.
Date:2005
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Formal method : industrial use from model to the code /
Publication:
London : ISTE, 2012
. xv, 357 p. :
24 cm.
Date:2012
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Understanding formal methods /
by Monin, Jean Francois,
Publication:
London : Springer, 2003
. xv, 275 p. ;
24 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(1),
|
|