Kennen Sie schon unseren Geschäftskundenservice? Wir beraten Sie gerne.
Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Rigorous State-Based Methods

Rigorous State-Based Methods

11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings

Bibliografische Angaben

Juli 2025, ca. 335 Seiten, Lecture Notes in Computer Science, Englisch
Springer International Publishing
978-3-031-94532-8

Schlagworte

Weitere Titel der Reihe: Lecture Notes in Computer Science

Alle anzeigen

Weitere Titel zum Thema