Applying Formal Methods: Testing, Performance, and M/E-Commerce: Forte 2004 Workshops the Formemc, Epew, Itm, Toledo, Spain, October 1-2, 2004 by

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

379 pages • missing pub info (editions)

nonfiction computer science mathematics science informative medium-paced
Powered by AI (Beta)
Loading...

Description

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 ...

Read more

Community Reviews

Loading...

Content Warnings

Loading...