Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 58,56
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 60,95
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 60,95
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 59,72
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 65,52
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. 304.
EUR 63,45
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. 304 Illus.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 57,03
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
EUR 63,45
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. 304.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,65
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 59,99
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 66,44
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 topics as protocols and standards for WS; languages and description methodologies for Coreography/Orchestration/Workflow; coordination techniques for WS; security, performance evaluation and quality of service, and more.
Librería: preigu, Osnabrück, Alemania
EUR 50,25
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Web Services and Formal Methods | Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings | Mario Bravetti (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2006 | Springer | EAN 9783540388623 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg Sep 2006, 2006
ISBN 10: 3540388621 ISBN 13: 9783540388623
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 topics as protocols and standards for WS; languages and description methodologies for Coreography/Orchestration/Workflow; coordination techniques for WS; security, performance evaluation and quality of service, and more. 304 pp. Englisch.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2006
ISBN 10: 3540388621 ISBN 13: 9783540388623
Librería: moluna, Greven, Alemania
EUR 48,37
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006Presents 15 revised full papers together with 3 invited lecturesCovers protocols and standards for WS languages and description methodologies for.
Idioma: Inglés
Publicado por Springer, Springer Sep 2006, 2006
ISBN 10: 3540388621 ISBN 13: 9783540388623
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -InvitedPapers.- DecSerFlow: Towards a Truly Declarative Service Flow Language.- Service QoS Composition at the Level of Part Names.- SCC: A Service Centered Calculus.- Contributed Papers.- Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool.- Semantic Querying of Mathematical Web Service Descriptions.- Verified Reference Implementations of WS-Security Protocols.- From BPEL Processes to YAWL Workflows.- Translating Orc Features into Petri Nets and the Join Calculus.- Dynamic Constraint-Based Invocation of Web Services.- A Formal Account of Contracts for Web Services.- Execution Semantics for Service Choreographies.- Analysis and Verification of Time Requirements Applied to the Web Services Composition.- A Formal Approach to Service Component Architecture.- Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System.- Choreography Conformance Analysis: Asynchronous Communications and Information Alignment.- Application of Model Checking to AXML System's Security: A Case Study.- Towards a Unifying Theory for Web Services Composition.- Towards the Formal Model and Verification of Web Service Choreography Description Language.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 304 pp. Englisch.