Code: 01561089

Formal Techniques for Computer Systems and Business Processes

Name: Formal Techniques for Computer Systems and Business Processes
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561089
Price: 51.65 EUR
Availability: InStock
Author: Mario Bravetti
ISBN: 9783540287018

by Mario Bravetti, Leila Kloul, Gianluigi Zavattaro

Language: English
Binding: Paperback
Number of pages: 349
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005
More about this

51.65 €

RRP: 55.93 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Puglia
25.57 €
Buy
Las diosas de cada mujer : una nueva psicología femenina
13.03 €
Buy
MINIX Football: Real Madrid - Rudiger
11.51 € -6 %
Buy
Literární psychologie
11.41 € -21 %
Buy
1st Airborne
15.76 € -9 %
Buy
Ledová sfinga
12.73 € -22 %
Buy
Black Holes and Baby Universes
19 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Formal Techniques for Computer Systems and Business Processes

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering Workshop) and WS-FM 2005 (Web Services and Formal Methods) held in Versailles, France in September 2005.§The 20 revised full papers presented were carefully reviewed and selected from 59 submissions. For EPEW 2005 only 10 papers - of the 32 submitted - were accepted for presentation; they deal with queueing theory, bounding techniques, stochastic model checking, communication schemes analysis for high-speed LAN, QOS analysis in wireless ad-hoc networks and optical networks analysis. The main topics of the 10 papers accepted for WS-FM 2005 - from 27 submissions - include: protocols and standards for WS (SOAP, WSDL, UDDI, etc.); languages and description methodologies for Choreography/Orchestration/Workflow (BPML, XLANG and BizTalk, WSFL, WS-BPEL, etc.); coordination techniques for WS (transactions, agreement, coordination services, etc.); semantics-based dynamic WS discovery services (based on Semantic Web/Ontology Techniques or other semantic theories); security, performance evaluation and quality of service of WS; semi-structured data and XML related technologies; comparisons with different related technologies/approaches.

Book details

Book category Books in English Reference, information & interdisciplinary subjects Research & information: general Information theory

51.65 €

Full title: Formal Techniques for Computer Systems and Business Processes
Subtitle: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
Author: Mario Bravetti, Leila Kloul, Gianluigi Zavattaro
Language: English
Binding: Paperback
Number of pages: 349
EAN: 9783540287018
ISBN: 3540287019
ID: 01561089
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 1140 g
Dimensions: 235 × 155 × 20 mm
Date of publishing: 25. August 2005