Marsha Chechik (ed.) | Akateeminen Kirjakauppa

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

FORMAL METHODS : 25TH INTERNATIONAL SYMPOSIUM, FM 2023, LÜBECK, GERMANY, MARCH 6–10, 2023, PROCEEDINGS

Tekijä: Marsha Chechik (ed.); Joost-Pieter Katoen (ed.); Martin Leucker (ed.)
Kustantaja: Springer (2023)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

CONCUR 2008 - CONCURRENCY THEORY : 19TH INTERNATIONAL CONFERENCE, CONCUR 2008, TORONTO, CANADA, AUGUST 19-22, 2008, PROCEEDINGS

Tekijä: Franck van Breugel (ed.); Marsha Chechik (ed.)
Kustantaja: Springer (2008)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings

Marsha Chechik (ed.), Joost-Pieter Katoen (ed.), Martin Leucker (ed.)

97,90 €

Springer
Sivumäärä: 659 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2023, 03.03.2023 (lisätietoa)
Kieli: Englanti

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023.

The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus