عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 M368 2004
QA76
.
9
.
F67
M368
2004
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540231692
(Number (ISBN
3540302336
(Number (ISBN
9783540231691
(Number (ISBN
9783540302339
NATIONAL BIBLIOGRAPHY NUMBER
Number
b565657
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Applying formal methods:
General Material Designation
[Book]
Other Title Information
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 Núñez ... (ed.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin [u.a.] Springer
Date of Publication, Distribution, etc.
2004
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(XI, 379 S.)
SERIES
Series Title
Lecture notes in computer science, 3236
TOPICAL NAME USED AS SUBJECT
Computer Communication Networks
Computer science
Computer Science
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
F67
Book number
M368
2004
PERSONAL NAME - PRIMARY RESPONSIBILITY
Manuel Núñez ... (ed.)
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
EPEW
FORTE
ITM
Manuel Núñez
TheFormEMC
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
