Web Services and Formal Methods
Editat de Mario Bravetti, Manuel Núñez, Gianluigi Zavattaroen Limba Engleză Paperback – 4 sep 2006
Preț: 322.37 lei
Preț vechi: 402.96 lei
-20%
Puncte Express: 484
Carte tipărită la comandă
Livrare economică 30 iulie-13 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540388623
ISBN-10: 3540388621
Pagini: 304
Ilustrații: X, 289 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Ediția:2006
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540388621
Pagini: 304
Ilustrații: X, 289 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Ediția:2006
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Web Services and SOAMichael Papazoglou-20%Preț: 647.86 lei809.83 lei -
The Googlization of EverythingSiva VaidhyanathanPreț: 162.28 lei -
Communicating the User ExperienceRichard Caddick-20%Preț: 195.27 lei244.09 lei -
-20%Preț: 311.36 lei389.19 lei -
Designing BotsAmir Shevat-20%Preț: 165.25 lei206.56 lei -
Software Engineering and Formal MethodsSteve Counsell-20%Preț: 330.36 lei412.95 lei -
Formal Methods for Industrial Critical SystemsManuel Núñez-20%Preț: 318.69 lei398.37 lei -
-20%Preț: 623.22 lei779.02 lei -
Das Codasyl-DatenbankmodellT.W. Olle-20%Preț: 410.51 lei513.14 lei -
Relationale Anfragen: Zerlegung und OptimierungJürgen Koch-20%Preț: 396.39 lei495.49 lei -
Die Konfigurierung modular aufgebauter DatenbanksystemeDieter Lienert-20%Preț: 400.03 lei500.04 lei -
-20%Preț: 398.15 lei497.68 lei -
-20%Preț: 325.63 lei407.04 lei -
Coordination Models and LanguagesDoug Lea-20%Preț: 325.25 lei406.56 lei -
-20%Preț: 405.98 lei507.48 lei -
-20%Preț: 638.44 lei798.05 lei -
Software Engineering and Formal MethodsRobert M. Hierons-20%Preț: 324.22 lei405.27 lei -
-20%Preț: 229.64 lei287.05 lei -
Design of Office Information SystemsClarence A. Ellis-20%Preț: 620.52 lei775.66 lei
Public țintă
ResearchCuprins
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.