Web Services and Formal Methods

Main
Web Services and Formal Methods

Web Services and Formal Methods

Mario Bravetti Tevfik Bultan (Eds.)

0 / 4.0

Quanto ti piace questo libro?

Qual è la qualità del file?

Scarica il libro per la valutazione della qualità

Qual è la qualità dei file scaricati?

Lingua:

english

ISBN:

60251F0A-DD5D-4884-96CA-7AB165DB2353

File:

AZW3 , 891 KB

IPFS:

,

english0

Scaricare (azw3, 891 KB)

La conversione in è in corso

La conversione in non è riuscita

Puoi essere interessati a

Wei Tan, MengChu Zhou(auth.) — Business and Scientific Workflows: A Web Service-Oriented Approach

Axel Legay, Marius Bozga (eds.) — Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings

Susanne Graf, Mahesh Viswanathan (eds.) — Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, Ju

Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.) — Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Wolfgang Thomas (auth.), Luca de Alfaro (eds.) — Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Mario Bravetti, Gianluigi Zavattaro (auth.), Roberto Bruni, Karsten Wolf (eds.) — Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

Kohei Honda (auth.), Marco Carbone, Jean-Marc Petit (eds.) — Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

Gabriel Juhás, Igor Kazlov, Ana Juhásová (auth.), Johan Lilius, Wojciech Penczek (eds.) — Applications and Theory of Petri Nets: 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings

Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.) — Time for Verification: Essays in Memory of Amir Pnueli

Richard Hull, Elio Damaggio, Fabiana Fournier (auth.), Mario Bravetti, Tevfik Bultan (eds.) — Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Roberto Bruni, Juergen Dingel (eds.) — Formal Techniques for Distributed Systems. Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011 Reykjavik, Iceland, June 6-9, 2011 Proceedings

Brian Randell (auth.), Lars M. Kristensen, Laure Petrucci (eds.) — Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings

Wil M. P. van der Aalst (auth.), Alistair Barros, Avigdor Gal, Ekkart Kindler (eds.) — Business Process Management: 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings

Wolfgang Reisig, Grzegorz Rozenberg, P. S. Thiagarajan (auth.), Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf (eds.) — Transactions on Petri Nets and Other Models of Concurrency VII

Lhouari Nourine, Farouk Toumani (auth.), Maurice H. ter Beek, Niels Lohmann (eds.) — Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Étienne André, Giuseppe Pellegrino (auth.), Víctor Braberman, Laurent Fribourg (eds.) — Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

Maciej Koutny, Wil M. P. van der Aalst, Alex Yakovlev, (eds.) — Transactions on Petri Nets and Other Models of Concurrency VIII

Patricia Bouyer, Nicolas Markey, Ocan Sankur (auth.), Parosh Aziz Abdulla, Igor Potapov (eds.) — Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

Erika Ábrahám, Catuscia Palamidessi (eds.) — Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June

Termini più frequenti