|
" Applying formal methods: "
Manuel Núñez ... (ed.)
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
745708
|
| Doc. No
|
:
|
b565657
|
| Main Entry
|
:
|
Manuel Núñez ... (ed.)
|
| Title & Author
|
:
|
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 ... (ed.)
|
| Publication Statement
|
:
|
Berlin [u.a.] Springer, 2004
|
| Series Statement
|
:
|
Lecture notes in computer science, 3236
|
| Page. NO
|
:
|
(XI, 379 S.)
|
| ISBN
|
:
|
3540231692
|
|
|
:
|
: 3540302336
|
|
|
:
|
: 9783540231691
|
|
|
:
|
: 9783540302339
|
| Subject
|
:
|
Computer Communication Networks
|
| Subject
|
:
|
Computer science
|
| Subject
|
:
|
Computer Science
|
| LC Classification
|
:
|
QA76.9.F67M368 2004
|
| Added Entry
|
:
|
EPEW
|
|
|
:
|
FORTE
|
|
|
:
|
ITM
|
|
|
:
|
Manuel Núñez
|
|
|
:
|
TheFormEMC
|
| |