Nadia Polikarpova | Akateeminen Kirjakauppa

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

INTEGRATED FORMAL METHODS - 13TH INTERNATIONAL CONFERENCE, IFM 2017, TURIN, ITALY, SEPTEMBER 20-22, 2017, PROCEEDINGS

Tekijä: Nadia Polikarpova; Steve Schneider
Kustantaja: Springer International Publishing AG (2017)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

SOFTWARE VERIFICATION - 12TH INTERNATIONAL CONFERENCE, VSTTE 2020, AND 13TH INTERNATIONAL WORKSHOP, NSV 2020, LOS ANGELES, CA, U

Tekijä: Maria Christakis; Nadia Polikarpova; Parasara Sridhar Duggirala; Peter Schrammel
Kustantaja: Springer Nature Switzerland AG (2020)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Nadia Polikarpova, Steve Schneider

49,60 €

Springer International Publishing AG
Sivumäärä: 438 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2017
Julkaisuvuosi: 2017, 27.08.2017 (lisätietoa)
Kieli: Englanti

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.
The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus