Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004; proceedings
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/33998 |
|---|---|
| ISBN: | 978-3-540-23169-1OPAC |
| Publisher: | Springer |
| Place of publication: | Berlin |
| Editor: | Manuel NúñezORCiDGND, Zakaria Maamar, Fernando L. Pelayo, Key PousttchiORCiDGND, Fernando Rubio |
| Type: | Conference Proceeding |
| Language: | English |
| Year of first Publication: | 2004 |
| Release Date: | 2017/07/21 |
| Pagenumber: | XI, 379 |
| Series: | Lecture Notes in Computer Science ; 3236 |
| DOI: | https://doi.org/10.1007/b100825 |
| Institutes: | Wirtschaftswissenschaftliche Fakultät |
| Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
