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
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)
L048:
Lieferbar in 48 Stunden
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
Anmelden