Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
Manuel Núñez ... [et al.] (eds.)
Bok Engelsk 2004
| Utgitt | Berlin : Springer , c2004
|
|---|---|
| Omfang | XI, 379 s. : ill.
|
| Emner | |
| ISBN | 3540231692
|
