|
|
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 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),
|
|