عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.3236
QA
76
.
L28
Vol
.
3236
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
First Statement of Responsibility
Manuel Nunez ...]et al.[ )eds(
EDITION STATEMENT
Statement of Responsibility Relating to Edition
2004: Toledo, Spain
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
c2004
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xi, 379 p. : ill
SERIES
Other Title Information
Lecture notes in computer science; 6323
GENERAL NOTES
Text of Note
Includes bibliographies
Text of Note
ISBN: 3540231692
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Formal methods )Computer science(
Entry Element
Congresses ، Electronic data processing -- Distributed processing
Entry Element
Congresses ، Computer network protocols
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
L28
Vol
.
3236
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
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
TI
SE
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Entry Element
FORTE
