Lecture Notes in Computer Science
Volume 3236, 2004, DOI: 10.1007/b100825

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, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi and Fernando Rubio

Contents

Viewing all 27 chapters
Search within

Browse This Book

  • Look Inside
  • Contents
  • ESM

About This Book

Title
Applying Formal Methods: Testing, Performance, and M/E-Commerce
FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings
Editors
Collection
Computer Science
Subjects
None Assigned
Copyright Year
2004
DOI
10.1007/b100825
ISBN
978-3-540-23169-1
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Thursday, September 09, 2004

About This Book Series

Title
Lecture Notes in Computer Science
Coverage
Volume 1 / 1973 - Volume 7260 / 2012
Collection
Computer Science
Subjects
ISSN
0302-9743 (Print)
1611-3349 (Online)
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, April 05, 2002