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, 3236) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Applying Formal Methods: Testing, Performance, and...
Stock Image
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)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Seller Inventory # UTD1422647
Stock Image
Applying Formal Methods : Testing, Performance, And M/E-Commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM Toledo, Spain, October 1-2, 2004 Proceedings
Seller: BookOrders, Russell, IA, U.S.A.
Seller rating 5 out of 5 stars
Soft Cover. Condition: Good. Lecture Notes in Computer Science, 3236. Usual ex-library features. The interior is clean and tight. Binding is good. Cover shows slight wear and has library label on spine. 379 pages plus author index. Ex-Library. Seller Inventory # 033484
Seller Image
Applying Formal Methods, Testing, Performance, And M/E-Commerce : Forte 2004 Workshops The FormEMC, EPEW, ITM Toledo, Spain, October 1-2, 2004 Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 3195716-n
Stock Image
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, 3236)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020163552
Stock Image
Applying Formal Methods
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 400. Seller Inventory # 263103319
Stock Image
Applying Formal Methods: Testing, Performance, and M/E-Commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540231691
Buy New
US$ 66.10
US$ 20.74 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Applying Formal Methods, Testing, Performance, And M/E-Commerce : Forte 2004 Workshops The FormEMC, EPEW, ITM Toledo, Spain, October 1-2, 2004 Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 3195716-n
Buy New
US$ 69.52
US$ 20.09 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Applying Formal Methods
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 400 Illus. Seller Inventory # 5825928
Buy New
US$ 81.89
US$ 8.70 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Seller Image
Applying Formal Methods: Testing, Performance, and M/E-Commerce
Published by
Springer Berlin Heidelberg Sep 2004, 2004
ISBN 10: 3540231692
ISBN 13: 9783540231691
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. 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
Buy New
US$ 64.68
US$ 27.00 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
Applying Formal Methods
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 400. Seller Inventory # 183103325
Buy New
US$ 89.52
US$ 11.68 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available