2019, ISBN: 9783642013638
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services an… mais…
booklooker.de |
Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings 2009 - livro usado
2009, ISBN: 9783642013638
2009 Neubindung, Buchrücken, -ecken u. -kanten leicht angestossen 5406902/12 Versandkostenfreie Lieferung verification,contract complience,semantic e-services,open nets,ws-bpel,model-base… mais…
buchfreund.de Buchpark GmbH, 14959 Trebbin Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2009, ISBN: 9783642013638
Web Services and Formal Methods ab 74.99 € als Taschenbuch: 5th International Workshop WS-FM 2008 Milan Italy September 4-5 2008 Proceedings. Auflage 2009. Aus dem Bereich: Bücher, Englis… mais…
Hugendubel.de Custos de envio:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings - livro usado
2009, ISBN: 9783642013638
[PU: Springer Berlin], Neubindung, Buchrücken, -ecken u. -kanten leicht angestossen 5406902/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2009, PayPal, Klarna-Sofortüberw… mais…
booklooker.de |
Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings - livro usado
2009, ISBN: 9783642013638
[PU: Springer Berlin], Neubindung, Buchrücken, -ecken u. -kanten leicht angestossen 5406902/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2009, PayPal, Internationaler Ve… mais…
booklooker.de |
2019, ISBN: 9783642013638
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services an… mais…
Bruni, Roberto und Karsten Wolf:
Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings 2009 - livro usado2009, ISBN: 9783642013638
2009 Neubindung, Buchrücken, -ecken u. -kanten leicht angestossen 5406902/12 Versandkostenfreie Lieferung verification,contract complience,semantic e-services,open nets,ws-bpel,model-base… mais…
2009
ISBN: 9783642013638
Web Services and Formal Methods ab 74.99 € als Taschenbuch: 5th International Workshop WS-FM 2008 Milan Italy September 4-5 2008 Proceedings. Auflage 2009. Aus dem Bereich: Bücher, Englis… mais…
Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings - livro usado
2009, ISBN: 9783642013638
[PU: Springer Berlin], Neubindung, Buchrücken, -ecken u. -kanten leicht angestossen 5406902/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2009, PayPal, Klarna-Sofortüberw… mais…
Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings - livro usado
2009, ISBN: 9783642013638
[PU: Springer Berlin], Neubindung, Buchrücken, -ecken u. -kanten leicht angestossen 5406902/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2009, PayPal, Internationaler Ve… mais…
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Web Services and Formal Methods
EAN (ISBN-13): 9783642013638
ISBN (ISBN-10): 3642013635
Livro de capa dura
Livro de bolso
Ano de publicação: 2009
Editor/Editora: Springer Berlin Heidelberg
239 Páginas
Peso: 0,390 kg
Língua: eng/Englisch
Livro na base de dados desde 2008-02-14T18:04:50+00:00 (Lisbon)
Página de detalhes modificada pela última vez em 2023-02-18T23:59:15+00:00 (Lisbon)
Número ISBN/EAN: 9783642013638
Número ISBN - Ortografia alternativa:
3-642-01363-5, 978-3-642-01363-8
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: bruni, wolf robert, karsten
Título do livro: forma, mila, web service, italy, get know milan, proceedings from 5th, method programming, september 2008, proceedings international workshop
Dados da editora
Autor: Roberto Bruni; Karsten Wolf
Título: Lecture Notes in Computer Science; Programming and Software Engineering; Web Services and Formal Methods - 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings
Editora: Springer; Springer Berlin
241 Páginas
Ano de publicação: 2009-05-19
Berlin; Heidelberg; DE
Língua: Inglês
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 241 p.
BC; Hardcover, Softcover / Informatik, EDV/Hardware; Computerhardware; Verstehen; Informatik; Web Services; contract complience; event calculus; formal method; message queues; model checking; model-based testing; open nets; petri net; proof techniques; security types; semantic e-services; time-constrained workflows; verification; ws-bpel; Computer Engineering and Networks; Computer Communication Networks; Theory of Computation; Computer and Information Systems Applications; Software Engineering; Computer Science Logic and Foundations of Programming; Netzwerk-Hardware; Theoretische Informatik; Angewandte Informatik; Software Engineering; EA
On the Expressive Power of Process Interruption and Compensation.- Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets.- Contract Compliance and Choreography Conformance in the Presence of Message Queues.- Verification of Choreographies During Execution Using the Reactive Event Calculus.- RESTful Petri Net Execution.- Validation and Discovery of Non-deterministic Semantic e-Services.- Fault, Compensation and Termination in WS-BPEL 2.0 — A Comparative Analysis.- Refactoring Long Running Transactions.- On-The-Fly Model-Based Testing of Web Services with Jambition.- Towards a Formal Framework for Workflow Interoperability.- Security Types for Sessions and Pipelines.- Why Does My Service Have No Partners?.- Proof Techniques for Adapter Generation.- Efficient Controllability Analysis of Open Nets.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9783319082608 Web Services and Formal Methods (Emilio Tuosto; Chun Ouyang)
- 9783319082608 Web Services and Formal Methods (Emilio Tuosto; Chun Ouyang)
- 9783319082592 Web Services and Formal Methods (Emilio Tuosto; Chun Ouyang)
- 9783540388623 Web Services and Formal Methods (Mario Bravetti; Manuel Núñez; Gianluigi Zavattaro)
- 9783540285847 Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings (Chris Hankin; Igor Siveroni)
- Web Services and Formal Methods (Mario Bravetti & Tevfik Bultan)
< Para arquivar...