Applying Formal Methods: Testing, Performance, and M/E-Commerce

- FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004

af

indgår i serie Lecture Notes in Computer Science


Applying Formal Methods: Testing, Performance, and M/E-Commerce
Du sparer Spar kr. 30,00 med Saxo Premium
  • Leveringstid 2-4 uger
  • Forventet levering 31-03-2020
Hvis du køber til medlemspris, bliver du automatisk medlem af Saxo Premium. De første 30 dage er gratis, derefter koster det 99,-/md. Medlemskabet fornyes automatisk og kan altid opsiges. Læs mere om alle fordelene her.
Format:
Bog, paperback
Udgivelsesdato:
24-09-2004
Sprog:
Engelsk
Udgave:
2004 ed..
  • Beskrivelse
  • Yderligere info
  • Anmeldelser

This volume contains the refereed proceedings of the ?rst edition of three wo- shops colocated with the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE). The workshops took place in Toledo (Spain) on the 1st and 2nd of October of 2004, and they dealt with d- ferent topics related to the application of formal methods. The names of the workshops were the following: - 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 In total, the calls for papers of the workshops attracted 62 high-quality s- missions. The program committees of the workshops selected 27 papers after a rigorous review process in which every paper was reviewed by at least three - viewers. In these proceedings,the papersaregrouped accordingto the workshop they belong to. In addition to the selected papers, there was a keynote speech by Prof. Rob Pooley, from the Heriot-Watt University, UK. We wantto express our gratitude for their ?nancial support both to the U- versidaddeCastilla-LaManchaandtotheJuntadeComunidadesdeCastilla-La Mancha.Besides, we are in debt to all the authors who submitted high-quality papers to the workshops: Without their e?ort and interest, it would have been impossible to organize the workshops. We would also like to thank the program committee members of the three workshops for their collaboration during the reviewing process.

Vis mereVis mindre

Udgivelsesdato:
24-09-2004
ISBN13:
9783540231691
Vægt:
1230 g
Dybde:
21 mm
Bredde:
148 mm
Højde:
210 mm
Nummer i serien:
3236
Nummer i serien:
3236
Format:
Paperback
Bibliotekernes beskrivelse The papers are grouped in three topical sections corresponding to the workshop topics. 1 Paperback / softback XI, 379 p.

Vis mereVis mindre

Vis mereVis mindre

Fandt du ikke hvad du søgte?

Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.

Velkommen til Saxo - din danske boghandel!

Hos os kan du handle som Gæst, Saxo-bruger eller Saxo Premium-medlem. Du bestemmer selv, og vores kundeservice sidder altid klar med hjælp.

Om medlemspriser hos Saxo

Hvis du køber til medlemspris, bliver du automatisk medlem og får del i de mange fede fordele. De første 30 dage er gratis for nye brugere, og derefter koster det kun 99,-/md. Medlemskabet fornyes automatisk, og du kan altid opsige det. Læs mere om fordelene ved Saxo Premium her.

Machine Name: SAXO032