Silvia Lizeth Tapia Tarifa,
José Proença
Springer International Publishing
e druk, 2022
9783031208713
Formal Aspects of Component Software
18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings
Specificaties
Paperback, blz.
|
Engels
Springer International Publishing |
e druk, 2022
ISBN13: 9783031208713
Rubricering
Juridisch
:
Onderdeel van serie
Lecture Notes in Computer Science
Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9783031208713
Taal:Engels
Bindwijze:paperback
Uitgever:Springer International Publishing
Inhoudsopgave
Modelling.- Verification.- Logics.- Semantics.- Types.- Choreographies.<p></p><p></p><p><br></p>
Net verschenen
Rubrieken
- aanbestedingsrecht
- aansprakelijkheids- en verzekeringsrecht
- accountancy
- algemeen juridisch
- arbeidsrecht
- bank- en effectenrecht
- bestuursrecht
- bouwrecht
- burgerlijk recht en procesrecht
- europees-internationaal recht
- fiscaal recht
- gezondheidsrecht
- insolventierecht
- intellectuele eigendom en ict-recht
- management
- mens en maatschappij
- milieu- en omgevingsrecht
- notarieel recht
- ondernemingsrecht
- pensioenrecht
- personen- en familierecht
- sociale zekerheidsrecht
- staatsrecht
- strafrecht en criminologie
- vastgoed- en huurrecht
- vreemdelingenrecht