Search Results - Bravetti, Mario
- Showing 1 - 5 results of 5
-
1
CONCUR 2009 - concurrency theory : 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 ; proceedings by International Conference on Concurrency Theory Bologna, Italy, SpringerLink (Online service)
Published: Springer, 2009Other Authors: “…Bravetti, Mario…”Description: 1 online resource (xiii, 638 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
2
Web services and formal methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers by WS-FM (Workshop) Hoboken, N.J.), SpringerLink (Online service)
Published: Springer, 2011Other Authors: “…Bravetti, Mario…”Description: 1 online resource (viii, 190 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
3
Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods,... by EPEW (Workshop) Versailles, France), SpringerLink (Online service), International Workshop on Web Services and Formal Methods
Published: Springer, 2005Other Authors: “…Bravetti, Mario…”Description: 1 online resource (xiii, 348 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
4
Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings by WS-FM 2006 Vienna, Austria, SpringerLink (Online service)
Published: Springer, 2006Other Authors: “…Bravetti, Mario…”Description: 1 online resource (x, 287 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
5
Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings by International Conference on Software Engineering and Formal Methods Madrid, Spain, SpringerLink (Online service)
Published: Springer Berlin Heidelberg : Imprint : Springer, 2013Other Authors:Description: 1 online resource (xviii, 321 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook