Matteo Pradella | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?

FORMAL METHODS - 26TH INTERNATIONAL SYMPOSIUM, FM 2024, MILAN, ITALY, SEPTEMBER 9–13, 2024, PROCEEDINGS, PART I

André Platzer; Kristin Yvonne Rozier; Matteo Pradella; Matteo Rossi
Springer International Publishing AG (2024)
Pehmeäkantinen kirja

40,00 €

FORMAL METHODS - 26TH INTERNATIONAL SYMPOSIUM, FM 2024, MILAN, ITALY, SEPTEMBER 9–13, 2024, PROCEEDINGS, PART II

Andre Platzer; Kristin Yvonne Rozier; Matteo Pradella; Matteo Rossi
Springer International Publishing AG (2024)
Pehmeäkantinen kirja

129,90 €

Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

40,00 €

Springer International Publishing AG
Sivumäärä: 680 sivua
Asu: Pehmeäkantinen kirja
Painos: 2025 ed.
Julkaisuvuosi: 2024, 11.09.2024 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 14933

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.

The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows:

Part I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata;

Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus