Research Catalog

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

Title
Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings / Manuel Núñez ... [et al.] (eds.).
Author
FORTE 2004 (2004 : Toledo, Spain)
Publication
Berlin ; New York : Springer, 2004.

Available Online

Restricted to Springer LINK subscribers

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance JSE 05-153Offsite

Details

Additional Authors
  • Núñez, Manuel, Profesor.
  • FormEMC (Workshop) (1st : 2004 : Toledo, Spain)
  • EPEW (Workshop) (1st : 2004 : Toledo, Spain)
  • ITM (Conference) (1st : 2004 : Toledo, Spain)
Description
xi, 379 p. : ill.; 24 cm.
Series Statement
Lecture notes in computer science, 0302-9743 ; 3236
Alternative Title
  • FORTE 2004 workshops
  • TheFormEMC
  • EPEW
  • ITM
Subjects
Note
  • "Refereed proceedings of the first edition of three workshops colocated with the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) ... TheFormEMC, 1st International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce; EPEW, 1st European Performance Engineering Workshop; ITM, 1st International Workshop on Integration of Testing Methodologies"--Pref.
Bibliography (note)
  • Includes bibliographical references and index.
Additional Formats (note)
  • Also issued online.
Call Number
JSE 05-153
ISBN
3540231692 (pbk.)
LCCN
2004112846
OCLC
56617050
Conference
FORTE 2004 (2004 : Toledo, Spain)
Title
Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings / Manuel Núñez ... [et al.] (eds.).
Imprint
Berlin ; New York : Springer, 2004.
Series
Lecture notes in computer science, 0302-9743 ; 3236
Bibliography
Includes bibliographical references and index.
Additional Formats
Also issued online.
Connect to:
Restricted to Springer LINK subscribers
Added Author
Núñez, Manuel, Profesor.
FormEMC (Workshop) (1st : 2004 : Toledo, Spain)
EPEW (Workshop) (1st : 2004 : Toledo, Spain)
ITM (Conference) (1st : 2004 : Toledo, Spain)
Research Call Number
JSE 05-153
View in Legacy Catalog