Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 (Lecture Notes in Computer Science) (Paperback)

by Manuel Núnez (Editor), Zakaaria Maamar (Editor), Fernando Pelayo (Editor), Key Pousttchi (Editor), Fernando Rubio (Editor) "Electronic commerce (e-commerce) applications are susceptible to failures if the underlying protocols are not properly designed and analysed..." (more)
Key Phrases: informational added values, branching time relations, mobile added values, Computer Science, Springer-Verlag Berlin Heidelberg, International Conference (more...)

Editorial Reviews

Product Description

This book constitutes the joint refereed proceedings of the First International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce, TheFormEMC, the first European Performance Engineering Workshop, EPEW, and the First International Workshop on Integration of Testing Methodologies, ITM, held jointly in association with FORTE 2004 in Toledo, Spain in October 2004.

The 27 revised full papers presented were carefully reviewed and selected from a total of 62 submissions. The papers are grouped in three topical sections corresponding to the workshop topics.

Product Details

• Paperback: 381 pages
• Publisher: Springer; 1 edition (November 23, 2004)
• Language: English
• ISBN-10: 3540231692
• ISBN-13: 978-3540231691
• Product Dimensions: 9.2 x 6.1 x 0.9 inches
• Shipping Weight: 1.3 pounds (View shipping rates and policies)
• Average Customer Review: No customer reviews yet. Be the first.
• Amazon.com Sales Rank: #4,186,213 in Books (See Bestsellers in Books)