OPAC

Formal Aspects of Component Software : 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings / edited by Silvia Lizeth Tapia Tarifa, José Proença
(Lecture Notes in Computer Science. ISSN:16113349 ; 13712)

データ種別	電子ブック
版	1st ed. 2022.
出版者	(Cham : Springer International Publishing : Imprint: Springer)
出版年	2022
大きさ	X, 245 p. 51 illus., 25 illus. in color : online resource
著者標目	Tapia Tarifa, Silvia Lizeth editor Proença, José editor SpringerLink (Online service)

URL	巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
URL		射水-電子	007	EB0001646	Computer Scinece R0 2005-6,2022-3				9783031208720

一般注記	Modelling -- Verification -- Logics -- Semantics -- Types -- Choreographies This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022. The 12 full papers and 1 short paper were carefully reviewed and selected from 25 submissions. FACS 2021 is focusing on the areas of component software and formal methods in order to promote a deeper understanding of how formal methods can or should be used to make component-based software development succeed HTTP:URL=https://doi.org/10.1007/978-3-031-20872-0
件　名	LCSH:Philology LCSH:Computer systems LCSH:Software engineering LCSH:Data structures (Computer science) LCSH:Information theory LCSH:Machine theory LCSH:Natural language processing (Computer science) FREE:Languages FREE:Computer System Implementation FREE:Software Engineering FREE:Data Structures and Information Theory FREE:Formal Languages and Automata Theory FREE:Natural Language Processing (NLP)
分　類	LCC:P1-1091 DC23:400
書誌ID	EB00001034
ISBN	9783031208720