Kennen Sie schon unseren Geschäftskundenservice? Wir beraten Sie gerne.
Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Logo
DE | FR
cover
Software Engineering and Formal Methods

Software Engineering and Formal Methods

22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Buch (broschiert)97.00 CHF
lieferbar in ca. 20-45 Arbeitstagen

Bibliografische Angaben

November 2024, 462 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-77381-5

Inhaltsverzeichnis

Schlagworte

Weitere Titel der Reihe: Lecture Notes in Computer Science

Alle anzeigen
Ada 2022 Reference Manual. Volume 1 - Core Language
International Standard ISO/IEC 8652:2023 (E)
Springer International Publishing, 2026
978-3-031-83730-2
103.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Lectures on Parallel Computing
Springer International Publishing, 2025
978-3-031-86577-0
ca. 91.00 CHF
erhältlich ab Oktober 2025

Weitere Titel zum Thema

CCA Cisco Certified Associate DevNet Study Guide
Exam 200-901
Wiley, 2025
978-1-394-17846-9
ca. 69.00 CHF
erhältlich ab April 2025
Einführung in die Technikethik
Mensch – Maschine – Verantwortung
Uni-TaschenbücherBrill | Fink, 2026
978-3-8252-6288-4
ca. 27.90 CHF
erhältlich ab Januar 2026
Hands-On Prompt Engineering
Learning to Program ChatGPT Using OpenAI APIs
Wiley, 2025
978-1-394-21076-3
ca. 79.00 CHF
erhältlich ab Dezember 2025
Intelligent Data-Driven Techniques for Security of Digital Assets
Taylor and Francis, 2025
978-1-032-74488-9
ca. 195.00 CHF
erhältlich ab März 2025
Energy 4.0
Trends, Challenges, and Applications
Taylor and Francis, 2025
978-1-032-74451-3
ca. 209.00 CHF
erhältlich ab Mai 2025
What Every Engineer Should Know About Computational Techniques of Finite ...
Taylor and Francis, 2025
978-1-032-94749-5
ca. 135.00 CHF
erhältlich ab Mai 2025