• Formal Methods Teaching
  • Bestand

Treffer: Formal Methods Teaching

Titel:
Formal Methods Teaching : 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings / edited by Emil Sekerinski, Leila Ribeiro
Beteiligt:
Sekerinski, Emil (Herausgeber); Ribeiro, Leila (Herausgeber)
Ausgabe:
1st ed. 2024
Veröffent­licht:
Cham : Springer Nature Switzerland, 2024
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (IX, 141 Seiten) : 39 illus., 34 illus. in color.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 14939
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Methods Teaching. - Cham : Springer Nature Switzerland, 2024. - ISBN 9783031713781
ISBN:
9783031713798 ; 3031713796 ; 978--303171378-1 (Sekundärausgabe) ; 978--303171380-4 (Sekundärausgabe)
DOI:
10.1007/978-3-031-71379-8

Zusatz-Informationen

Zusatz-Funktionen