Full metadata record
DC FieldValueLanguage
dc.contributor.editorAmadio, Roberto-
dc.date.accessioned2017-04-11T09:15:08Z-
dc.date.available2017-04-11T09:15:08Z-
dc.date.issued2008-
dc.identifier.isbn978-3-540-78497-5-
dc.identifier.urihttp://repository.vnu.edu.vn/handle/VNU_123/26391-
dc.description.abstractETAPS 2008 was the 11th instance of the European Joint Conferences on Theoryand Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences.This year it comprised five conferences (CC, ESOP, FASE, FOSSACS, TACAS),22 satellite workshops (ACCAT, AVIS, Bytecode, CMCS, COCV, DCC, FESCA,FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL,RV, SafeCert, SC, SLA++P, WGT, and WRLA), nine tutorials, and seven invited lectures (excluding those that were specific to the satellite events). The five main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%.Congratulations therefore to all the authors who made it to the final program me!I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area.-
dc.format.extent519 p.-
dc.language.isoenen_US
dc.publisherSpringeren_US
dc.subjectComputer Scienceen_US
dc.subjectTheoretical Computer Science-
dc.subject.ddc005.1-
dc.titleFoundations of Software Science and Computational Structuresen_US
dc.typeBooken_US
Appears in Collections:Khoa học máy tính & Công nghệ thông tin


  • 1238.pdf
    • Size : 9,11 MB

    • Format : Adobe PDF

    • View : 
    • Download : 
  • Full metadata record
    DC FieldValueLanguage
    dc.contributor.editorAmadio, Roberto-
    dc.date.accessioned2017-04-11T09:15:08Z-
    dc.date.available2017-04-11T09:15:08Z-
    dc.date.issued2008-
    dc.identifier.isbn978-3-540-78497-5-
    dc.identifier.urihttp://repository.vnu.edu.vn/handle/VNU_123/26391-
    dc.description.abstractETAPS 2008 was the 11th instance of the European Joint Conferences on Theoryand Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences.This year it comprised five conferences (CC, ESOP, FASE, FOSSACS, TACAS),22 satellite workshops (ACCAT, AVIS, Bytecode, CMCS, COCV, DCC, FESCA,FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL,RV, SafeCert, SC, SLA++P, WGT, and WRLA), nine tutorials, and seven invited lectures (excluding those that were specific to the satellite events). The five main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%.Congratulations therefore to all the authors who made it to the final program me!I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area.-
    dc.format.extent519 p.-
    dc.language.isoenen_US
    dc.publisherSpringeren_US
    dc.subjectComputer Scienceen_US
    dc.subjectTheoretical Computer Science-
    dc.subject.ddc005.1-
    dc.titleFoundations of Software Science and Computational Structuresen_US
    dc.typeBooken_US
    Appears in Collections:Khoa học máy tính & Công nghệ thông tin


  • 1238.pdf
    • Size : 9,11 MB

    • Format : Adobe PDF

    • View : 
    • Download : 


  • Loading...