Mario Bravetti – författare

Visar alla böcker från författaren Mario Bravetti. Handla med fri frakt och snabb leverans.

10 produkter

1. 

   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

   Av Mario Bravetti, Leila Kloul m. fl.

   Häftad, 2005

   543 kr

   Lägg i varukorg

   This volume contains the proceedings of two international workshops EPEW and WS-FM held atthe Universit' ede VersaillesSaint-Quentin-en-Yvelines,V- sailles, France, 1-3 September 2005. EPEW (European Performance Engineering Workshop) and WS-FM (Int- national Workshop on Web Services and Formal …

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

   Av Gianluigi Zavattaro, Leila Kloul m. fl.

   E-bok, 2005

   755 kr

   Lägg i varukorg

3. 

   Web Services and Formal Methods

   Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

   Av Mario Bravetti, Manuel Núñez m. fl.

   Häftad, 2006

   569 kr

   Lägg i varukorg

   Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The book presents 15 revised full papers and 3 invited lectures covering such …

4. 

   Web Services and Formal Methods

   Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

   Av Gianluigi Zavattaro, Manuel Nunez m. fl.

   E-bok, 2006

   755 kr

   Lägg i varukorg

5. 

   CONCUR 2009 - Concurrency Theory

   20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings

   Av Mario Bravetti, Gianluigi Zavattaro

   Häftad, 2009

   1128 kr

   Lägg i varukorg

   This volume contains the proceedings of the 20th Conference on Concurrency Theory (CONCUR 2009), held in Bologna, September 1–4, 2009. The purpose of the CONCUR conference is to bring together researchers, developers, and s- dentsinordertoadvancethetheoryofconcurrencyandpromoteitsapplications. This …

6. 

   CONCUR 2009 - Concurrency Theory

   20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings

   Av Gianluigi Zavattaro, Mario Bravetti

   E-bok, 2009

   1455 kr

   Lägg i varukorg

   This volume contains the proceedings of the 20th Conference on Concurrency Theory (CONCUR 2009), held in Bologna, September 1–4, 2009. The purpose of the CONCUR conference is to bring together researchers, developers, and s- dentsinordertoadvancethetheoryofconcurrencyandpromoteitsapplications. This …

7. 

   Web Services and Formal Methods

   7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

   Av Mario Bravetti, Tevfik Bultan

   Häftad, 2011

   569 kr

   Lägg i varukorg

   This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and …

8. 

   Web Services and Formal Methods

   7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

   Av Tevfik Bultan, Mario Bravetti

   E-bok, 2011

   755 kr

   Lägg i varukorg

   This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and …

9. 

   Software Engineering and Formal Methods

   11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

   Av Robert M. Hierons, Mercedes G. Merayo m. fl.

   Häftad, 2013

   569 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized …

10. 

    Software Engineering and Formal Methods

    11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

    Av Mario Bravetti, Mercedes G. Merayo m. fl.

    E-bok, 2013

    755 kr

    Lägg i varukorg

    This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized …