Xavier Rival (ed.) | Akateeminen Kirjakauppa

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

STATIC ANALYSIS : 23RD INTERNATIONAL SYMPOSIUM, SAS 2016, EDINBURGH, UK, SEPTEMBER 8-10, 2016, PROCEEDINGS

Xavier Rival (ed.)
Springer (2016)
Pehmeäkantinen kirja

51,40 €

VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION : 15TH INTERNATIONAL CONFERENCE, VMCAI 2014, SAN DIEGO, CA, USA, JANUA

Kenneth McMillan (ed.); Xavier Rival (ed.)
Springer (2014)
Pehmeäkantinen kirja

51,40 €

Static Analysis : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

Xavier Rival (ed.)

51,40 €

Springer
Sivumäärä: 511 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2016, 31.08.2016 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016.

The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow analysis; model checking; new applications; program transformation; program verification; security analysis; theoretical frameworks; and type checking.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus