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… Mehr…
booklooker.de |
Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings 2009 - gebrauchtes Buch
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… Mehr…
buchfreund.de |
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… Mehr…
Hugendubel.de Versandkosten: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 - gebrauchtes Buch
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… Mehr…
booklooker.de |
Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings - gebrauchtes Buch
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… Mehr…
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… Mehr…
Bruni, Roberto und Karsten Wolf:
Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings 2009 - gebrauchtes Buch2009, 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… Mehr…
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… Mehr…
Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings - gebrauchtes Buch
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… Mehr…
Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings - gebrauchtes Buch
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… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Web Services and Formal Methods
EAN (ISBN-13): 9783642013638
ISBN (ISBN-10): 3642013635
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2009
Herausgeber: Springer Berlin Heidelberg
239 Seiten
Gewicht: 0,390 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2008-02-14T19:04:50+01:00 (Berlin)
Detailseite zuletzt geändert am 2023-02-19T00:59:15+01:00 (Berlin)
ISBN/EAN: 9783642013638
ISBN - alternative Schreibweisen:
3-642-01363-5, 978-3-642-01363-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: bruni, wolf robert, karsten
Titel des Buches: forma, mila, web service, italy, get know milan, proceedings from 5th, method programming, september 2008, proceedings international workshop
Daten vom Verlag:
Autor/in: Roberto Bruni; Karsten Wolf
Titel: 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
Verlag: Springer; Springer Berlin
241 Seiten
Erscheinungsjahr: 2009-05-19
Berlin; Heidelberg; DE
Sprache: Englisch
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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
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)
< zum Archiv...