VLB Suche
Suche in den Daten des Verzeichnisses lieferbarer Bücher (VLB)
Drucken
Suchergebnisse
Produktdetails
- Autor
- Herausgegeben von Gustavo Carvalho, Herausgegeben von Tsutomu Kobayashi
Formal Methods Teaching
- Untertitel
- 7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings
- Verlag
- Springer International Publishing
- ISBN/EAN
- 978-3-032-26743-6
- Status
- nicht lieferbar
