Cantitate/Preț
Produs
Total produse
Vezi coșul
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 de Marco Bernardo

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: Lecture Notes in Computer Science, cartea 5569

Editat de Marco Bernardo, Luca Padovani, Gianluigi Zavattaro
en Limba Engleză Paperback – 12 mai 2009

Din seria Lecture Notes in Computer Science

Preț: 40625 lei

Preț vechi: 50781 lei
-20% Nou

Puncte Express: 609
Preț estimativ în valută:
7775€ • 8202$ • 6479£

Carte tipărită la comandă

Livrare economică 03-17 ianuarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642019173
ISBN-10: 364201917X
Pagini: 341
Ilustrații: VII, 341 p.
Dimensiuni: 155 x 235 x 23 mm
Greutate: 0.54 kg
Ediția:2009
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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-Based Discovery and Adaptation of Web Services.- Contract-Based Discovery and Composition of Web Services.- Quantitative Analysis of Web Services Using SRMC.

Textul de pe ultima copertă

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.