Formal Aspects of Component Software  18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings /  [electronic resource] : 
edited by Silvia Lizeth Tapia Tarifa, José Proença. 
 - 1st ed. 2022. 
 - X, 245 p. 51 illus., 25 illus. in color.  online resource. 
 - Lecture Notes in Computer Science,  13712  1611-3349 ; .
 - Lecture Notes in Computer Science,  13712 .
<br/><br/>Modelling -- Verification -- Logics -- Semantics -- Types -- Choreographies. 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783031208720 
<br/><br/><label>Standard No.: </label>10.1007/978-3-031-20872-0  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Philology.<br/>Computer systems.<br/>Software engineering.<br/>Data structures (Computer science).<br/>Information theory.<br/>Machine theory.<br/>Natural language processing (Computer science).<br/>Languages.<br/>Computer System Implementation.<br/>Software Engineering.<br/>Data Structures and Information Theory.<br/>Formal Languages and Automata Theory.<br/>Natural Language Processing (NLP).
<br/><br/><label>LC Class. No.: </label>P1-1091 
<br/><br/><label>Dewey Class. No.: </label>400