Applying Formal Methods: Testing, Performance, and M/E-Commerce

Language: English

Published by Springer Berlin Heidelberg Sep 2004, 2004

3540231692 / 9783540231691

  • Softcover
  • New
See all details

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.

5-star seller

AbeBooks seller since January 11, 2012

Softcover

Condition: New

US$ 61.71

US$ 25.76 shipping 
Ships from Germany to U.S.A.

Quantity: 2 available

Add to basket
Free 30-day returns

Item description from seller

This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the refereed proceedings of the rst edition of three wo- shops colocated with the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE). The workshops took place in Toledo (Spain) on the 1st and 2nd of October of 2004, and they dealt with d- ferent topics related to the application of formal methods. The names of the workshops were the following: TheFormEMC: 1st International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce EPEW: 1st European Performance Engineering Workshop ITM: 1st International Workshop on Integration of Testing Methodologies In total, the calls for papers of the workshops attracted 62 high-quality s- missions. The program committees of the workshops selected 27 papers after a rigorous review process in which every paper was reviewed by at least three - viewers. In these proceedings,the papersaregrouped accordingto the workshop they belong to. In addition to the selected papers, there was a keynote speech by Prof. Rob Pooley, from the Heriot-Watt University, UK. We wantto express our gratitude for their nancial support both to the U- versidaddeCastilla-LaManchaandtotheJuntadeComunidadesdeCastilla-La Mancha. Besides, we are in debt to all the authors who submitted high-quality papers to the workshops: Without their e ort and interest, it would have been impossible to organize the workshops. We would also like to thank the program committee members of the three workshops for their collaboration during the reviewing process. 400 pp. Englisch.…

Seller Inventory # 9783540231691

Title
Applying Formal Methods: Testing, Performance, and M/E-Commerce
Author
Manuel Núnez
Publisher
Springer Berlin Heidelberg Sep 2004
Publication year
2004
Condition
Neu
Binding
Taschenbuch
Language
English
ISBN 10
3540231692
ISBN 13
9783540231691
Item weight
604 grams
Dimensions
235x155x22 mm

BuchWeltWeit Ludwig Meier e.K.

Bergisch Gladbach, Germany

5-star seller

AbeBooks seller since January 11, 2012

Shipping rates from Germany to U.S.A.

Item5 to 15 business days5 to 15 business days
First itemUS$ 25.76US$ 25.76
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Bank Wire Transfer
  • Check
  • Paypal

Seller's business information

BuchWeltWeit Ludwig Meier e.K.

Germany