Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
|
|

avaa valikko

Formal Methods and Software Engineering : 26th International Conference on Formal Engineering Methods, ICFEM 2025,
Étienne André, Jingyi Wang, Naijun Zhan
102,20 €
Springer
Sivumäärä: 392 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2025, 12.11.2025 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 16229

This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10–13, 2025.



LISÄÄ OSTOSKORIIN
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tilaustuote

Tilaustuote

Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Haluan myydä tämän tuotteen
Formal Methods and Software Engineering : 26th International Conference on Formal Engineering Methods, ICFEM 2025,Suurenna kuva
Näytä kaikki tuotetiedot
ISBN:
9789819542123
Asiasanat:
Software engineering Formal methods Formal modeling Formal verification Large language model AI-enabled systems Safety-critical systems Probabilistic programming Concurrent computation Computation complexity
Aihealue:
Ulkomaiset kirjat » Computers » Machine Theory
Kansikuva tuotteelle