서지주요정보
Composability, Comprehensibility and Correctness of Working Software: 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers
서명 / 저자 Composability, Comprehensibility and Correctness of Working Software [electronic resource] : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers / edited by Zoltán Porkoláb, Viktória Zsók.
저자명 Porkoláb, Zoltán. editor. (orcid)0000-0001-6819-0224 https://orcid.org/0000-0001-6819-0224 edt http://id.loc.gov/vocabulary/relators/edt ; Zsók, Viktória. editor. (orcid)0000-0003-4414-6813 https://orcid.org/0000-0003-4414-6813 edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
판사항 1st ed. 2023.
발행사항 Cham : Springer International Publishing : Imprint: Springer, 2023.
총서명 Lecture Notes in Computer Science, 1611-3349 ; 11950
Online Access https://doi.org/10.1007/978-3-... URL

서지기타정보

서지기타정보
ISBN 9783031428333
기타 표준번호 10.1007/978-3-031-42833-3
청구기호 QA76.6-76.66
형태사항 X, 393 p. 116 illus., 39 illus. in color. online resource.
언어 English
주제 Computer programming.
Software engineering.
Compilers (Computer programs).
Computer science.
Programming Techniques.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783031428326 Printed edition: 9783031428340
QR CODE