Leonardo Mariani | Akateeminen Kirjakauppa

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

VALIDATION OF EVOLVING SOFTWARE

Hana Chockler (ed.); Daniel Kroening (ed.); Leonardo Mariani (ed.); Natasha Sharygina (ed.)
Springer (2015)
Saatavuus: Tilaustuote
Kovakantinen kirja

49,60 €

VALIDATION OF EVOLVING SOFTWARE

Hana Chockler; Daniel Kroening; Leonardo Mariani; Natasha Sharygina
Springer International Publishing AG (2016)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

RUNTIME VERIFICATION - 19TH INTERNATIONAL CONFERENCE, RV 2019, PORTO, PORTUGAL, OCTOBER 8–11, 2019, PROCEEDINGS

Bernd Finkbeiner; Leonardo Mariani
Springer Nature Switzerland AG (2019)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

64,10 €

Validation of Evolving Software

Hana Chockler (ed.), Daniel Kroening (ed.), Leonardo Mariani (ed.), Natasha Sharygina (ed.)

49,60 €

Springer
Sivumäärä: 220 sivua
Asu: Kovakantinen kirja
Painos: 2015
Julkaisuvuosi: 2015, 10.07.2015 (lisätietoa)
Kieli: Englanti

This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus