SULJE VALIKKO

avaa valikko

Integrated Formal Methods - 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings
126,80 €
Springer International Publishing AG
Sivumäärä: 318 sivua
Asu: Pehmeäkantinen kirja
Painos: 2025 ed.
Julkaisuvuosi: 2024, 24.12.2024 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 15234
This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.  



The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tulossa! Tuote ilmestyy 18.12.2024. Voit tehdä tilauksen heti ja toimitamme tuotteen kun saamme sen varastoomme. Seuraa saatavuutta.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Integrated Formal Methods - 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings
Näytä kaikki tuotetiedot
ISBN:
9783031765537
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste