//]]>
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart
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),
Actions: Add to Cart