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

André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi - Formal Methods, Häftad

Formal Methods

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

Häftad, 2024

450 kr

Fredrik Backman - Mina vänner, Pocket
  • -30%

Mina vänner

Fredrik Backman

Pocket, 2026

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

69 kr99 kr

Tone Schunnesson - Ultravåld, Inbunden
  • -19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

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

209 kr259 kr

Elle Kennedy - Spelet, Pocket
  • -22%
Del 1

Spelet

Elle Kennedy

Pocket, 2024

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

69 kr89 kr

Elle Kennedy - Snedsteget, Pocket
  • -22%
Del 2

Snedsteget

Elle Kennedy

Pocket, 2024

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

69 kr89 kr

Lucinda Riley - En dold skönhet, Pocket
  • -30%

En dold skönhet

Lucinda Riley

Pocket, 2026

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

69 kr99 kr