Ahmed Bouajjani (ed.) | Akateeminen Kirjakauppa

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

COMPUTER AIDED VERIFICATION : 21ST INTERNATIONAL CONFERENCE, CAV 2009, GRENOBLE, FRANCE, JUNE 26 - JULY 2, 2009, PROCEEDINGS

Ahmed Bouajjani (ed.); Oded Maler (ed.)
Springer (2009)
Pehmeäkantinen kirja

101,40 €

AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS : 8TH INTERNATIONAL SYMPOSIUM, ATVA 2010, SINGAPORE, SEPTEMBER 21-24, 2010, P

Ahmed Bouajjani (ed.); Wei-Ngan Chin (ed.)
Springer (2010)
Pehmeäkantinen kirja

51,40 €

AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS : 20TH INTERNATIONAL SYMPOSIUM, ATVA 2022, VIRTUAL EVENT, OCTOBER 25–28, 2022

Ahmed Bouajjani (ed.); Lukáš Holík (ed.); Zhilin Wu (ed.)
Springer (2022)
Pehmeäkantinen kirja

76,40 €

Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

Ahmed Bouajjani (ed.), Oded Maler (ed.)

101,40 €

Springer
Sivumäärä: 722 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2009, 19.06.2009 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete applications, with an emphasis on practical verification tools and the underlying algorithms and techniques.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus