.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Applying Formal Methods - Testing, Performance, and M/E-commerce
N/A
€ 72.08
FREE Delivery in Ireland
Description for Applying Formal Methods - Testing, Performance, and M/E-commerce
Paperback. The papers are grouped in three topical sections corresponding to the workshop topics. Series: Lecture Notes in Computer Science. Num Pages: 379 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 210 x 148 x 20. Weight in Grams: 1230.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2004
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
379
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
379
Place of Publication
Berlin, Germany
ISBN
9783540231691
SKU
V9783540231691
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Applying Formal Methods - Testing, Performance, and M/E-commerce