Formal methods Part 2
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected fro...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , , |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Cham
Springer
2025
|
| Schriftenreihe: | Lecture notes in computer science
14934 |
| Schlagworte: |
COMPUTERS / Expert Systems
> COMPUTERS / Hardware / General
> COMPUTERS / Machine Theory
> COMPUTERS / Natural Language Processing
> COMPUTERS / Programming / Software Development
> COMPUTERS / Programming Languages / General
> Computer hardware
> Computerhardware
> Expert systems / knowledge-based systems
> Mathematical theory of computation
> Natural language & machine translation
> Natürliche Sprachen und maschinelle Übersetzung
> Programmier- und Skriptsprachen, allgemein
> Programming & scripting languages: general
> Software Engineering
> Theoretische Informatik
> Wissensbasierte Systeme, Expertensysteme
> Konferenzschrift
|
| Online Zugang: | Cover |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen 
Keine Ergebnisse!