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.)Inngår i serie: Lecture notes in computer science (3236)
Bok Engelsk utgitt c2004
Bok Engelsk utgitt c2004
Ledig
- Automatlager: 1 av 1 ledig
Automatlager
Ledig
78sd08101
På hylla
Fakta
Tittelnr | 431353
|
---|---|
Tittel | 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.)
|
Språk | Engelsk |
Utgitt | Berlin : Springer , c2004
|
Omfang | XI, 379 s. : ill.
|
Serie | |
Nettressurser | https://contents.bibs.aws.unit.no/?isbn=3540231692
https://contents.bibs.aws.unit.no/?isbn=3540231692 https://contents.bibs.aws.unit.no/content/?isbn=9783540231691 https://contents.bibs.aws.unit.no/content/?isbn=9783540231691 https://contents.bibs.aws.unit.no/files/images/large/1/9/9783540231691.jpg (image/jpeg) https://contents.bibs.aws.unit.no/files/images/small/1/9/9783540231691.jpg (image/jpeg) https://contents.bibs.aws.unit.no/files/images/small/2/9/3540231692.jpg (image/jpeg) |
ISBN | 3540231692 (h.)
|