Web Services and Formal Methods (Paperback)

Sprache: Englisch

Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010

3642144578 / 9783642144578

Anbieter: Grand Eagle Retail, Bensenville, IL, USAGrand Eagle Retail

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 12. Oktober 2005

Artikel dieses Verkäufers ansehen
Softcover

Zustand: Neu

EUR 69,00

 Versand gratis 
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb
Kostenlose Rückgaben innerhalb von 30 Tagen

Artikelbeschreibung vom Verkäufer

Paperback. This volume contains the papers presented at WS-FM 2009: The 6th Inter- tional Workshop on Web Services and Formal Methods held during September 4-5, 2009 in Bologna, Italy. There were 18 submissions by authors from 12 countries. Each submission was reviewed by at least 3, and on the average 3.9, Program Committee m- bers. The committee decided to accept 10 papers. Most of the selected papers are reports on work in progress on problems related to formal aspects of Web services. This workshop also features three invited talks by Mariangiola Dezani (Sessions and Session Types: An Overview), Robin Milner (Processes, and C- egories of Bigraphs) and Maurizio Lenzerini. Dezani's talk is included in this volume. We thank all authors who submitted papers to this workshop, and the m- bersof the ProgramCommittee for their workin the reviewprocess.We arealso grateful to the CONCUR 2009 organizers who take care of many organizational details for the workshop and, in particular, to Mario Bravetti and Gianluigi - vattaro. We also thank EasyChair that helped us in the management of every step of the workshop. Constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Web Services and Formal Methods, WS-FM 2009, held in Bologna, Italy, in September 2009. This title features topics such as approaches to analyzing and designing systems based on Web Service technology. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Bestandsnummer des Verkäufers 9783642144578

Titel
Web Services and Formal Methods (Paperback)
Autor
Cosimo Laneve
Verlag
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin
Veröffentlichungsjahr
2010
Zustand
new
Einband
Paperback
Sprache
Englisch
ISBN-10
3642144578
ISBN-13
9783642144578

Grand Eagle Retail

Bensenville, IL, USA

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 12. Oktober 2005

Versandkosten innerhalb von USA

Artikel6 bis 14 Werktage6 bis 16 Werktage
Erster ArtikelEUR 0,00EUR 0,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

APOLLO ONLINE CORP.

605 Geddes Street
Wilmington, DE USA 19805