Foundations of Software Science and Computation Structures
The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed...
| Autores principales: | , |
|---|---|
| Formato: | Libro |
| Publicado: |
Springer Nature Switzerland
2024
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=nlebk&AN=3872245&site=ehost-live header: @attributes: shortDbName: nlebk uiTerm: 3872245 longDbName: eBook Collection (EBSCOhost) uiTag: AN controlInfo: bkinfo: btl: Foundations of Software Science and Computation Structures aug: au: Naoki Kobayashi James Worrell sertl: Foundations of Software Science and Computation Structures isbn: 9783031572302 9783031572319 imageinfo: pubinfo: dt: @attributes: year: 2024 month: 01 day: 01 dtAvail: @attributes: year: 2024 month: 04 day: 12 vid: Part II pub: Springer Nature Switzerland pubContract: Springer Nature place: Cham price: 0.01 limitsGroup: maxCheckoutDays: 1500 copyPages: 10 pda: N printPagesOffline: 10 printPagesOnline: 10 previewPages: 0 prePubGroup: dewey: @attributes: class: 005.1 item: 005 .1 lc: @attributes: class: QA76.751 .F67 2024eb item: QA 76 .751 .F67 2024eb artinfo: ui: 3872245 1429286527 formats: fmt: – @attributes: type: EB doid: NL$3872245$PDF caption: PDF download: Y – @attributes: type: EK doid: NL$3872245$EPUB caption: EPUB download: Y tig: atl: Foundations of Software Science and Computation Structures ptl: Foundations of Software Science and Computation Structures aug: au: Naoki Kobayashi James Worrell su: Computer software--Congresses Software engineering--Congresses sug: subj: COMPUTERS / Computer Science COMPUTERS / Computer Architecture COMPUTERS / Database Administration & Management COMPUTERS / Information Theory COMPUTERS / Hardware / General MATHEMATICS / Applied MATHEMATICS / Logic Computer software--Congresses Software engineering--Congresses ab: The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems. pubtype: eBook doctype: Book ougenre: Book language: English copyright: @attributes: flag: N copyrightText: holdings: @attributes: islocal: N |
|---|