단행본 상세

서지주요정보
Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings
서명 / 저자 Formal Aspects of Component Software [electronic resource] : 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings / edited by Silvia Lizeth Tapia Tarifa, José Proença.
저자명 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 https://orcid.org/0000-0001-9948-2748 edt http://id.loc.gov/vocabulary/relators/edt ; Proença, José. editor. (orcid)0000-0003-0971-8919 https://orcid.org/0000-0003-0971-8919 edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
판사항 1st ed. 2022.
발행사항 Cham : Springer International Publishing : Imprint: Springer, 2022.
총서명 Lecture Notes in Computer Science, 1611-3349 ; 13712
Online Access https://doi.org/10.1007/978-3-... URL

서지기타정보

서지기타정보
ISBN 9783031208720
기타 표준번호 10.1007/978-3-031-20872-0
청구기호 P1-1091
형태사항 X, 245 p. 51 illus., 25 illus. in color. online resource.
언어 English
내용 Modelling -- Verification -- Logics -- Semantics -- Types -- Choreographies.
주제 Philology.
Computer systems.
Software engineering.
Data structures (Computer science).
Information theory.
Machine theory.
Natural language processing (Computer science).
Languages.
Computer System Implementation.
Software Engineering.
Data Structures and Information Theory.
Formal Languages and Automata Theory.
Natural Language Processing (NLP).
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783031208713 Printed edition: 9783031208737
QR CODE