Fortell venner om denne varen:
Formal Methods Teaching: 7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings - Lecture Notes in Computer Science
Pris
NOK 509
Bestillingsvarer
Forventes levert 30. nov - 8. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Formal Methods Teaching: 7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings - Lecture Notes in Computer Science
This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods Teaching, FMTea 2026, held in Tokyo, Japan, on May 19, 2026. The 6 full papers included in these proceedings were carefully reviewed and selected from 12 submissions.
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 19. mai 2026 |
| ISBN13 | 9783032267429 |
| Utgivere | Springer Nature Switzerland AG |
| Antall sider | 147 |
| Mål | 156 × 233 × 11 mm · 254 g |
| Språk | Tysk |
| Redaktør | Carvalho, Gustavo |
| Redaktør | Kobayashi, Tsutomu |
![Cover for Deborah Morrison · Brave Work in the Age of Climate Change: A Creative's Guide to Making Compelling Advertising and Brand Messages in Complicated Times (Pocketbok) [2022 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for David Kergel · Qualitative Educational and Bildungs Research (Innbunden bok) [2nd Second 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/171/9783032186171.jpg?david-kergel-2027-qualitative-educational-and-bildungs-research-innbunden-bok&class=scaled&v=1778118707)
![Cover for Martin O. Steinhauser · Computational Multiscale Modeling of Fluids and Solids: Theory and Applications in Computational Science - Graduate Texts in Physics (Innbunden bok) [Fourth Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/396/9783032255396.jpg?martin-o-steinhauser-2027-computational-multiscale-modeling-of-fluids-and-solids-theory-and-applications-in-computational-science-graduate-texts-in-physics-innbunden-bok&class=scaled&v=1780455123)
