Item Details

Print View

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.)
Format
Book
Published
Berlin ; New York : Springer, 2004.
Language
English
Variant Title
FORTE 2004 workshops
TheFormEMC
EPEW
ITM
Series
Lecture Notes in Computer Science
ISBN
3540231692 (pbk.)
Description
xi, 379 p. : ill. ; 24 cm.
Notes
  • "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.
  • Includes bibliographical references and index.
Series Statement
Lecture notes in computer science 0302-9743 ; 3236
Technical Details
  • Access in Virgo Classic
  • Staff View

    LEADER 02036nam a2200433Ia 4500
    001 u4220914
    003 SIRSI
    005 20050118125444.0
    007 cr un---------
    008 041001s2004 gw a b 101 0 eng d
    010
      
      
    a| 2004112846
    020
      
      
    a| 3540231692 (pbk.)
    035
      
      
    a| (Sirsi) o56617050
    035
      
      
    a| (Sirsi) o56617050
    035
      
      
    a| (OCoLC)56617050
    040
      
      
    a| OHX c| OHX d| CUS d| C$Q d| OCLCQ
    072
      
    7
    a| Q 2| lcco
    090
      
      
    a| QA76.9.F67 b| A66 2004
    111
    2
      
    a| FORTE 2004 d| (2004 : c| Toledo, Spain)
    245
    1
    0
    a| Applying formal methods : b| testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings / c| Manuel Núñez ... [et al.] (eds.).
    246
    3
    0
    a| FORTE 2004 workshops
    246
    3
    0
    a| TheFormEMC
    246
    3
    0
    a| EPEW
    246
    3
    0
    a| ITM
    260
      
      
    a| Berlin ; a| New York : b| Springer, c| 2004.
    300
      
      
    a| xi, 379 p. : b| ill. ; c| 24 cm.
    440
      
    0
    a| Lecture notes in computer science x| 0302-9743 ; v| 3236
    500
      
      
    a| "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.
    504
      
      
    a| Includes bibliographical references and index.
    596
      
      
    a| 5
    650
      
    0
    a| Formal methods (Computer science) v| Congresses.
    650
      
    0
    a| Electronic data processing x| Distributed processing v| Congresses.
    650
      
    0
    a| Computer network protocols v| Congresses.
    700
    1
      
    a| Núñez, Manuel c| (Professor)
    711
    2
      
    a| FormEMC (Workshop) n| (1st : d| 2004 : c| Toledo, Spain)
    711
    2
      
    a| EPEW (Workshop) n| (1st : d| 2004 : c| Toledo, Spain)
    711
    2
      
    a| ITM (Conference) n| (1st : d| 2004 : c| Toledo, Spain)
    999
      
      
    a| QA76.9 .F67 A66 2004 w| LC i| X004804178 l| STACKS m| SCI-ENG t| BOOK
▾See more
▴See less

Availability

Google Preview

Google Books Preview
Library Location Map Availability Call Number
Brown Science and Engineering Stacks N/A Available