ny

Formal Methods

fra 449,-
Tilgjengelig i 1 butikker

Produktinformasjon

The open access book set LNCS 16556 + 16557 constitutes the refereed proceedings of the 27th International Symposium on Formal Methods, FM 2026, held in Tokyo, Japan, during May 18–22, 2026. The 49 full and 2 short papers included in these proceedings were carefully reviewed and selected from 239 submissions. The proceedings also include 4 invited talks, 8 tutorial papers, and 9 papers from the industry day track. The contributions were organized in topical sections as follows:Part I: Invited Papers; and Main Track (1)Part II: Main Track (2); Tests and Proofs Track (TAP); Tutorial Track; and Industry Day Track

Spesifikasjon

Produkt
ProduktnavnFormal Methods
MerkeOther Brand
Artificial IntimacyMicrosoft Excel VBA and MacrosDistributed Ledger TechnologyInformation Security Practice and Experience
Understanding Artificial IntelligenceNew IPv6 Transition TechnologyDatabase Systems for Advanced ApplicationsComputer Graphics and CAD
Sustainable Operations of Logistics and Supply Chain ManagementDatabase Systems for Advanced ApplicationsDatabase Systems for Advanced ApplicationsFormal Methods
Advanced Information Networking and ApplicationsAdvances in Internet, Data & Web TechnologiesAdvances in Internet, Data & Web TechnologiesInnovations in Artificial Intelligence and Computing
New Trends and Applications in Internet of Things (IoT) and Big Data Analytics, Volume 2Machine Learning and Principles and Practice of Knowledge Discovery in DatabasesRecent Challenges in Intelligent information and Database SystemsSoftware Engineering and Development