|
|

avaa valikko

Formal Methods: Foundations and Applications : 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025,
Maurice H. ter Beek, Leopoldo Teixeira
79,00 €
Springer
Sivumäärä: 243 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2025, 27.11.2025 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 16363

This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3–5, 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 3-4 viikossa
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Formal Methods: Foundations and Applications : 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025,Suurenna kuva
Näytä kaikki tuotetiedot
ISBN:
9783032120854
Asiasanat:
Formal Methods Formal Verification Model Checking Smart Contracts Machine Learning Privacy-Risk Analysis Quantitative Information Flow Testing Logic UML state machines UML activities Validation Controlled Natural Language Software Engineering Domain-Specif
Aihealue:
Ulkomaiset kirjat » Computers » Programming » Software Development
Kansikuva tuotteelle