|
|
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),
|
|
|
Web services and formal methods : , 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, revised selected papers /
Publication:
Berlin : Springer, 2010
. 195 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal methods for industrial critical systems : , 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Publication:
Berlin : Springer, 2010
. xii, 230 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Runtime verification : , First International Conference, RV 2010, St. Julians, November 1-4, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. xiii, 492 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer performance engineering : , 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceeding /
Publication:
Berlin : Springer, 2010
. x, 283 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theoretical aspects of computing-- ICTAC 2010 : , 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 : proceedings /
Publication:
New York : Springer, 2010
. xiii, 396 p.
Date:2010
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 aspects of security : , first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers /
Publication:
New York : Springer, 2003
. x, 238 p. :
25 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|
|
Formal techniques for networked and distributed systems, FORTE 2003 : , 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings /
Publication:
Berlin : Springer, 2003
. xii, 429 p. :
24 cm.
Date:2003
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),
|
|