Fast delivery with
Safe payments by
© 2026 Bookis AS
English
Norway
Region is based on IP address

Paperback • 2004 • Norwegian Bokmål
0 Ratings • 0.0 of 5
About the book
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 Electroni...Show more
Book details
ISBN
9783540231691
Publisher
Berlin : Springer
Published year
2004
Language
Norwegian Bokmål
Original title
Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
Format
Paperback
Shippping and returns
Shipping
Used books are shipped by the seller. Expected delivery after package is sent is 2-4 days.
Returns
Contact the seller after delivery.
Reviews · 0
0 Ratings • 0.0 of 5