Natasha Sharygina (ed.) | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 4 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 €

SOFTWARE VERIFICATION : 13TH INTERNATIONAL CONFERENCE, VSTTE 2021, NEW HAVEN, CT, USA, OCTOBER 18–19, 2021, AND 14TH INTERNATION

Roderick Bloem (ed.); Rayna Dimitrova (ed.); Chuchu Fan (ed.); Natasha Sharygina (ed.)
Springer (2022)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

54,40 €

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS : 29TH INTERNATIONAL CONFERENCE, TACAS 2023, HELD AS PART OF T

Sriram Sankaranarayanan (ed.); Natasha Sharygina (ed.)
Springer (2023)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

40,00 €

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS : 29TH INTERNATIONAL CONFERENCE, TACAS 2023, HELD AS PART OF T

Sriram Sankaranarayanan (ed.); Natasha Sharygina (ed.)
Springer (2023)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

40,00 €

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 4-5 viikossa

Myymäläsaatavuus