소장자료
| LDR | 02662nam a22005415i 4500 | ||
| 001 | 0100795007▲ | ||
| 003 | DE-He213▲ | ||
| 005 | 20240304113154▲ | ||
| 007 | cr nn 008mamaa▲ | ||
| 008 | 231017s2023 sz | s |||| 0|eng d▲ | ||
| 020 | ▼a9783031428333▼9978-3-031-42833-3▲ | ||
| 024 | 7 | ▼a10.1007/978-3-031-42833-3▼2doi▲ | |
| 050 | 4 | ▼aQA76.6-76.66▲ | |
| 082 | 0 | 4 | ▼a005.11▼223▲ |
| 245 | 1 | 0 | ▼aComposability, Comprehensibility and Correctness of Working Software▼h[electronic resource] :▼b8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers /▼cedited by Zoltán Porkoláb, Viktória Zsók.▲ |
| 250 | ▼a1st ed. 2023.▲ | ||
| 264 | 1 | ▼aCham :▼bSpringer International Publishing :▼bImprint: Springer,▼c2023.▲ | |
| 300 | ▼aX, 393 p. 116 illus., 39 illus. in color.▼bonline resource.▲ | ||
| 336 | ▼atext▼btxt▼2rdacontent▲ | ||
| 337 | ▼acomputer▼bc▼2rdamedia▲ | ||
| 338 | ▼aonline resource▼bcr▼2rdacarrier▲ | ||
| 347 | ▼atext file▼bPDF▼2rda▲ | ||
| 490 | 1 | ▼aLecture Notes in Computer Science,▼x1611-3349 ;▼v11950▲ | |
| 520 | ▼aThis book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019. The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.▲ | ||
| 650 | 0 | ▼aComputer programming.▲ | |
| 650 | 0 | ▼aSoftware engineering.▲ | |
| 650 | 0 | ▼aCompilers (Computer programs).▲ | |
| 650 | 0 | ▼aComputer science.▲ | |
| 650 | 1 | 4 | ▼aProgramming Techniques.▲ |
| 650 | 2 | 4 | ▼aSoftware Engineering.▲ |
| 650 | 2 | 4 | ▼aCompilers and Interpreters.▲ |
| 650 | 2 | 4 | ▼aComputer Science Logic and Foundations of Programming.▲ |
| 700 | 1 | ▼aPorkoláb, Zoltán.▼eeditor.▼0(orcid)0000-0001-6819-0224▼1https://orcid.org/0000-0001-6819-0224▼4edt▼4http://id.loc.gov/vocabulary/relators/edt▲ | |
| 700 | 1 | ▼aZsók, Viktória.▼eeditor.▼0(orcid)0000-0003-4414-6813▼1https://orcid.org/0000-0003-4414-6813▼4edt▼4http://id.loc.gov/vocabulary/relators/edt▲ | |
| 710 | 2 | ▼aSpringerLink (Online service)▲ | |
| 773 | 0 | ▼tSpringer Nature eBook▲ | |
| 776 | 0 | 8 | ▼iPrinted edition:▼z9783031428326▲ |
| 776 | 0 | 8 | ▼iPrinted edition:▼z9783031428340▲ |
| 830 | 0 | ▼aLecture Notes in Computer Science,▼x1611-3349 ;▼v11950▲ | |
| 856 | 4 | 0 | ▼uhttps://doi.org/10.1007/978-3-031-42833-3▲ |
Composability, Comprehensibility and Correctness of Working Software[electronic resource] : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers
자료유형
국외eBook
서명/책임사항
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.
판사항
1st ed. 2023.
형태사항
X, 393 p. 116 illus., 39 illus. in color. online resource.
총서사항
Lecture Notes in Computer Science , 1611-3349 ; 11950
Lecture Notes in Computer Science , 1611-3349 ; 11950
Lecture Notes in Computer Science , 1611-3349 ; 11950
요약주기
This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019. The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.
주제
ISBN
9783031428333
관련 인기대출 도서