Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

AvAndre Platzer,Kristin Yvonne Rozier

Häftad, Engelska, 2024

Del i serien Lecture Notes in Computer Science

1 667 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

Formal Methods

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

Häftad, 2024

450 kr

  • -19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

4,6 utav 5 stjärnor. Totalt antal röster:(5)

209 kr259 kr

  • -30%

Mina vänner

Fredrik Backman

Pocket, 2026

4,0 utav 5 stjärnor. Totalt antal röster:(4)

69 kr99 kr

  • -30%

En dold skönhet

Lucinda Riley

Pocket, 2026

4,6 utav 5 stjärnor. Totalt antal röster:(18)

69 kr99 kr

  • 4 för 3
Del 1

Den femte dagen

Åsa Hellberg

Pocket, 2026

4,2 utav 5 stjärnor. Totalt antal röster:(30)

99 kr

  • -22%
Del 1

Spelet

Elle Kennedy

Pocket, 2024

4,5 utav 5 stjärnor. Totalt antal röster:(16)

69 kr89 kr

  • -22%
Del 2

Snedsteget

Elle Kennedy

Pocket, 2024

4,4 utav 5 stjärnor. Totalt antal röster:(9)

69 kr89 kr