Formal methods web services (145 résultats)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 43,85
EUR 2,29 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 48,95
EUR 2,29 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Couverture souple
Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 51,85
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Couverture souple
Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,11
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 10 disponible(s)
Etat : Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Couverture souple
Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 54,64
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 10 disponible(s)
Etat : Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 52,33
EUR 2,29 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Formal Methods for Web Services : 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Bernardo, Marco (EDT); Padovani, Luca (EDT); Zavattaro, Gianluigi (EDT)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 55,27
EUR 2,29 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Couverture souple
Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 57,64
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Couverture souple
Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 57,67
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 10 disponible(s)
Etat : Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Couverture souple
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 58,35
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 5 disponible(s)
Paperback or Softback. Etat : New. Web Services and Formal Methods: 7th International Workshop, Ws-FM 2010, Hoboken, Nj, Usa, September 16-17, 2010. Revised Selected Papers. Book.
Web Services and Formal Methods : Third International Workshop, Ws-fm 2006, Vienna, Austria, September 8-9, 2006: Proceedings
Bravetti, Mario (EDT); Nunez, Manuel (EDT); Zavattaro, Gianluigi (EDT)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 56,87
EUR 2,29 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Couverture souple
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 59,23
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : 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.
- Couverture souple
Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 59,23
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 58,33
EUR 2,29 expéditionExpédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Etat : New.
Formal Techniques for Computer Systems And Business Processed : European Performance Engineering Workshop, EPEW 2005 And Internatoional Workshop On Web Services And Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
Bravetti, Mario (EDT); Kloul, Leila (EDT); Zavattaro, Gianluigi (EDT)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 58,33
EUR 2,29 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Couverture souple
Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 60,70
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Couverture souple
Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 60,70
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Couverture souple
Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 60,70
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Couverture souple
Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 60,72
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Web Services and Formal Methods : Third International Workshop, Ws-fm 2006, Vienna, Austria, September 8-9, 2006: Proceedings
Bravetti, Mario (EDT); Nunez, Manuel (EDT); Zavattaro, Gianluigi (EDT)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 59,37
EUR 2,29 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 48,87
EUR 14,01 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
Langue : anglais
Edité par Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2009
- Couverture souple
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-UniRarewaves.com USA
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 63,40
Frais de port gratuitsExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Paperback. Etat : New. 2009 ed. This volume presents the set of papers accompanying the lectures of the 9th International School on Formal Methods for the Design of Computer, Com- nication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience asaprominentapproachtotherigorousdesignofcompu…ter,communication,and software systems. The main aim of the SFM series is to o?er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the ?eld. SFM 2009 was devoted to formal methods for Web services and covered s- eral aspects including choreography, orchestration, description techniques, - teraction, synthesis, composition, session types, contracts, veri?cation, security, and performance. This volume comprises eight articles. Bruni's paper overviews some of the most recently proposed abstractions in the setting of process calculi tailored to the well-disciplined handling of issues such as long-running interactions, orch- tration, and unexpected events.Van der Aalst, Mooij, Stahl, and Wolf provide some foundational notions related to service interaction and address in a Petri net setting challenges like how to expose a service, how to replace and re?ne services, and how to generate service adapters. The paper by Marconi and - store presents a survey of existing approaches to the synthesis of Web service compositions, a di?cult and error-pronetask that requires automated solutions.
- Couverture souple
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 44,89
EUR 18,12 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
PF. Etat : New.
Formal Methods for Web Services : 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Bernardo, Marco (EDT); Padovani, Luca (EDT); Zavattaro, Gianluigi (EDT)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 61,62
EUR 2,29 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 61,70
EUR 2,29 expéditionExpédition nationale : Etats-UnisQuantité disponible : 2 disponible(s)
Etat : As New. Unread book in perfect condition.
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 61,70
EUR 2,29 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
- Couverture souple
Vendeur : Stillwater Books, West Warwick, RI, Etats-UnisStillwater Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 61,62
EUR 2,60 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Soft cover. Etat : Very Good. Slight dent on front cover. Otherwise clean and could pass for new.
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 62,45
EUR 2,29 expéditionExpédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Etat : New.
Langue : anglais
Edité par Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2012
- Couverture souple
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-UniRarewaves.com USA
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 64,82
Frais de port gratuitsExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Paperback. Etat : New. 2012 ed. This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BP…M 2011. The 9 full papers presented were carefully reviewed and selected from 14 submissions. They deal with service oriented computing (SOC), cloud computing and formal methods.
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 47,87
EUR 17,54 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
