Spende 15. September, 2024 – 1. Oktober, 2024 Über Spenden

Web Services and Formal Methods (LNCS 6551)

Main
Computers - Web Development
Web Services and Formal Methods (LNCS...

Web Services and Formal Methods (LNCS 6551)

Mario Bravetti, Tevfik Bultan

0 / 0

Wie gefällt Ihnen dieses Buch?

Wie ist die Qualität der Datei?

Herunterladen Sie das Buch, um Ihre Qualität zu bewerten

Wie ist die Qualität der heruntergeladenen Dateien?

Kategorien:

Computers - Web Development

Sprache:

english

ISBN 10:

364219589X

ISBN 13:

9783642195891

Datei:

EPUB, 417 KB

IPFS:

,

english0

Online lesen

Die Konvertierung in ist im Gange

Die Konvertierung in ist fehlgeschlagen

Es kann für Sie interessant sein

Mario Bravetti Tevfik Bultan (Eds.) — Web Services and Formal Methods

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

Susanna Donatelli & P.S. Thiagarajan — LNCS 4024 - Petri Nets and Other Models of Concurrency - ICATPN 2006 (Frontmatter Pages)

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

Am meisten angefragte Begriffe