Produktbild
C.R. (Hrsg.) Ramakrishnan

Tools and Algorithms for the Construction and Analysis of Systems

14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings

Buch

ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit comprised?ve conferences (CC, ESOP,FASE, FOSSACS, TACAS), 22satelliteworkshops(ACCAT,AVIS,Bytecode,CMCS,COCV,DCC,FESCA, FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV,SafeCert,SC,SLA++P,WGT,andWRLA),ninetutorials,andseveninvited lectures (excluding those that were speci?c to the satellite events). The ?ve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance r… Mehr

CHF 122.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Rehof, Jakob (Hrsg.)
  • ISBN: 978-3-540-78799-0
  • EAN: 9783540787990
  • Produktnummer: 3626353
  • Verlag: Springer Nature EN
  • Sprache: Englisch
  • Erscheinungsjahr: 2008
  • Seitenangabe: 520 S.
  • Masse: H0.0 cm x B0.0 cm 819 g
  • Reihenbandnummer: 4963
  • Gewicht: 819
  • Sonstiges: Research

Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.