Articoli correlati a Formal Methods for Web Services: 9th International...

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, ... June 1-6, 2009, Advanced Lectures: 5569 - Brossura

 
9783642019173: Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, ... June 1-6, 2009, Advanced Lectures: 5569

Sinossi

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 asaprominentapproachtotherigorousdesignofcomputer,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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Dalla quarta di copertina

This book presents a set of 8 papers accompanying the lectures of leading researchers given at the 9th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, held in Bertinoro, Italy, in June 2009.

SFM 2009 was devoted to formal methods for web services and covered several aspects including coreography, orchestration, description techniques, interaction, synthesis, composition, session types, contracts, verification, security, and performance.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer Berlin Heidelberg
  • Data di pubblicazione2010
  • ISBN 10 364201917X
  • ISBN 13 9783642019173
  • RilegaturaCopertina flessibile
  • LinguaInglese
  • Numero di pagine352
  • RedattoreBernardo Marco
  • Contatto del produttorenon disponibile

Compra usato

Condizioni: ottimo
Zustand: Sehr gut - Neubindung,...
Visualizza questo articolo

EUR 6,90 per la spedizione da Germania a Italia

Destinazione, tempi e costi

GRATIS per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9783642019197: Formal Methods for Web Services

Edizione in evidenza

ISBN 10:  3642019196 ISBN 13:  9783642019197
Casa editrice: Springer, 2009
Brossura

Risultati della ricerca per Formal Methods for Web Services: 9th International...

Foto dell'editore

Unbekannt
Editore: Springer-Verlag GmbH, 2009
ISBN 10: 364201917X ISBN 13: 9783642019173
Antico o usato Brossura

Da: Buchpark, Trebbin, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Sehr gut. Zustand: Sehr gut - Neubindung, Buchkante leicht angestossen | Seiten: 339 | Sprache: Englisch | Produktart: Sonstiges. Codice articolo 5407008/12

Contatta il venditore

Compra usato

EUR 36,34
Convertire valuta
Spese di spedizione: EUR 6,90
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2009
ISBN 10: 364201917X ISBN 13: 9783642019173
Nuovo Brossura

Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

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. Codice articolo ABNR-273803

Contatta il venditore

Compra nuovo

EUR 43,67
Convertire valuta
Spese di spedizione: GRATIS
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Bernardo
Editore: Springer, 2009
ISBN 10: 364201917X ISBN 13: 9783642019173
Nuovo Brossura

Da: Basi6 International, Irving, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-321653

Contatta il venditore

Compra nuovo

EUR 52,35
Convertire valuta
Spese di spedizione: GRATIS
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Bernardo, Marco|Padovani, Luca|Zavattaro, Gianluigi
ISBN 10: 364201917X ISBN 13: 9783642019173
Nuovo Kartoniert / Broschiert
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Calculi for Service-Oriented Computing.- Service Interaction: Patterns, Formalization, and Analysis.- Synthesis and Composition of Web Services.- Fundamentals of Session Types.- Asynchronous Session Types: Exceptions and Multiparty Interactions.- Contract-B. Codice articolo 5043528

Contatta il venditore

Compra nuovo

EUR 48,92
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2009
ISBN 10: 364201917X ISBN 13: 9783642019173
Antico o usato Brossura

Da: Books Puddle, New York, NY, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Used. pp. 352. Codice articolo 262412193

Contatta il venditore

Compra usato

EUR 51,52
Convertire valuta
Spese di spedizione: EUR 7,94
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Marco Bernardo
ISBN 10: 364201917X ISBN 13: 9783642019173
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents a set of 8 papers accompanying the lectures of leading researchers given at the 9th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, held in Bertinoro, Italy, in June 2009.SFM 2009 was devoted to formal methods for web services and covered several aspects including coreography, orchestration, description techniques, interaction, synthesis, composition, session types, contracts, verification, security, and performance. 341 pp. Englisch. Codice articolo 9783642019173

Contatta il venditore

Compra nuovo

EUR 49,17
Convertire valuta
Spese di spedizione: EUR 11,00
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2009
ISBN 10: 364201917X ISBN 13: 9783642019173
Antico o usato Brossura

Da: Majestic Books, Hounslow, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Used. pp. 352 Illus. Codice articolo 5468542

Contatta il venditore

Compra usato

EUR 51,07
Convertire valuta
Spese di spedizione: EUR 10,55
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Marco Bernardo
ISBN 10: 364201917X ISBN 13: 9783642019173
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a set of 8 papers accompanying the lectures of leading researchers given at the 9th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, held in Bertinoro, Italy, in June 2009.SFM 2009 was devoted to formal methods for web services and covered several aspects including coreography, orchestration, description techniques, interaction, synthesis, composition, session types, contracts, verification, security, and performance. Codice articolo 9783642019173

Contatta il venditore

Compra nuovo

EUR 54,28
Convertire valuta
Spese di spedizione: EUR 14,99
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2009
ISBN 10: 364201917X ISBN 13: 9783642019173
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9783642019173_new

Contatta il venditore

Compra nuovo

EUR 58,56
Convertire valuta
Spese di spedizione: EUR 10,72
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Bernardo, Marco (EDT); Padovani, Luca (EDT); Zavattaro, Gianluigi (EDT)
Editore: Springer, 2009
ISBN 10: 364201917X ISBN 13: 9783642019173
Nuovo Brossura

Da: GreatBookPricesUK, Woodford Green, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo 6309892-n

Contatta il venditore

Compra nuovo

EUR 53,81
Convertire valuta
Spese di spedizione: EUR 17,88
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Vedi altre 7 copie di questo libro

Vedi tutti i risultati per questo libro