Formal Methods
26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
By: Andre Platzer (Editor), Kristin Yvonne Rozier (Editor), Matteo Pradella (Editor), Matteo Rossi (Editor)
eBook | 12 September 2024
At a Glance
eBook
$0.00
Instant Digital Delivery to your Kobo Reader App
ISBN: 9783031711770
ISBN-10: 3031711777
Series: Springer Nature Proceedings Computer Science : Book 2
Published: 12th September 2024
Format: ePUB
Language: English
Publisher: Springer Nature Switzerland
Volume Number: 2
You Can Find This eBook In
Non-FictionComputing & I.T.Computer Programming & Software DevelopmentSoftware EngineeringComputer ScienceComputer Architecture & Logic DesignProgramming & Scripting LanguagesComputer HardwareAudio ProcessingMathematical Theory of ComputationArtificial IntelligenceExpert Systems & Knowledge-Based Systems
This product is categorised by
- Non-FictionComputing & I.T.Computer Programming & Software DevelopmentSoftware Engineering
- Non-FictionComputing & I.T.Computer ScienceComputer Architecture & Logic Design
- Non-FictionComputing & I.T.Computer Programming & Software DevelopmentProgramming & Scripting Languages
- Non-FictionComputing & I.T.Computer Hardware
- Non-FictionComputing & I.T.Computer ScienceAudio Processing
- Non-FictionComputing & I.T.Computer ScienceMathematical Theory of Computation
- Non-FictionComputing & I.T.Computer ScienceArtificial IntelligenceExpert Systems & Knowledge-Based Systems
- Non-FictionComputing & I.T.Computer ScienceArtificial IntelligenceNatural Language & Machine Translation