> Detailanzeige

Núñez, Manuel [Verfasser:in] ; Maamar, Zakaaria [Sonstige Person, Familie und Körperschaft]; Pelayo, Fernando [Sonstige Person, Familie und Körperschaft]; Pousttchi, Key [Sonstige Person, Familie und Körperschaft]; Rubio, Fernando [Sonstige Person, Familie und Körperschaft]

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

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Als RIS exportieren Als BibTeX exportieren Als EndNote exportieren

Schließen

Merkliste

Medientyp: E-Book; Konferenzbericht
Titel: Applying Formal Methods: Testing, Performance, and M/E-Commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004
Beteiligte: Núñez, Manuel [Verfasser:in]; Maamar, Zakaaria [Sonstige Person, Familie und Körperschaft]; Pelayo, Fernando [Sonstige Person, Familie und Körperschaft]; Pousttchi, Key [Sonstige Person, Familie und Körperschaft]; Rubio, Fernando [Sonstige Person, Familie und Körperschaft]
Erschienen: Berlin, Heidelberg: Springer Berlin Heidelberg, 2004
Erschienen in: Lecture notes in computer science ; 3236
Bücher
Umfang: Online-Ressource
Sprache: Englisch
DOI: 10.1007/b100825
ISBN: 9783540231691
Identifikator:

RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Electronic Commerce > Formale Methode
Verteiltes System > Leistungsbewertung > Formale Methode
Verteiltes System > Modellierung > Testen > Formale Methode
Entstehung:
Anmerkungen: