Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 58,56
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Condizione: 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.
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 59,72
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Condizione: Used. pp. 304.
EUR 63,45
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Used. pp. 304 Illus.
Da: Chiron Media, Wallingford, Regno Unito
EUR 57,03
Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
EUR 63,45
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Used. pp. 304.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 60,65
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 59,99
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 66,44
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: preigu, Osnabrück, Germania
EUR 50,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Sep 2006, 2006
ISBN 10: 3540388621 ISBN 13: 9783540388623
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2006
ISBN 10: 3540388621 ISBN 13: 9783540388623
Da: moluna, Greven, Germania
EUR 48,37
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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.
Lingua: Inglese
Editore: Springer, Springer Sep 2006, 2006
ISBN 10: 3540388621 ISBN 13: 9783540388623
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.