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

Lecture Notes in Computer Science

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

379 pages • paperback

1 edition

nonfiction computer science mathematics science informative medium-paced
mark as owned
More Options
add to favorites

Browse Similar Books

Read With Others

Start a Readalong

Start a Buddy Read

Book Information

Report Missing/Incorrect Information

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

Show More

Community Reviews

Loading...

Content Warnings

Loading...