عنوان

Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings

پدید آورنده

Manuel Nunez ...]et al.[ )eds(

موضوع

Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols

رده

QA

76
.
L28

Vol
.
3236

کتابخانه

محل استقرار

استان: طهران ـ شهر: طهران

Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings

2004: Toledo, Spain

Berlin

Springer-Verlag

c2004

xi, 379 p. : ill

Lecture notes in computer science; 6323

Includes bibliographies

ISBN: 3540231692

Manuel Nunez ...]et al.[ )eds(

Congresses ، Formal methods )Computer science(

Congresses ، Electronic data processing -- Distributed processing

Congresses ، Computer network protocols

L28

Vol

3236

AU Nunez, Manuel

CO International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce 1st: 2004: Toledo, Spain

CO European Performance Engineering Workshop 1st: 2004: Toedo, Spain

CO International Workshop on Integration of Testing Methodologies 1st: 2004: Toledo, Spain

FORTE

عنوان Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings

پدید آورنده Manuel Nunez ...]et al.[ )eds(

موضوع Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols

رده QA 76 .L28 Vol.3236