Ahmed Bouajjani | Akateeminen Kirjakauppa

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

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

Ahmed Bouajjani; Oded Maler
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (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; Wei-Ngan Chin
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja

51,40 €

NETWORKED SYSTEMS : THIRD INTERNATIONAL CONFERENCE, NETYS 2015, AGADIR, MOROCCO, MAY 13-15, 2015, REVISED SELECTED PAPERS

Ahmed Bouajjani (ed.); Hugues Fauconnier (ed.)
Springer (2016)
Pehmeäkantinen kirja

51,40 €

VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION : 18TH INTERNATIONAL CONFERENCE, VMCAI 2017, PARIS, FRANCE, JANUARY 15

Ahmed Bouajjani (ed.); David Monniaux (ed.)
Springer (2017)
Pehmeäkantinen kirja

51,40 €

FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS - 37TH IFIP WG 6.1 INTERNATIONAL CONFERENCE, FORTE 2017, HELD

Ahmed Bouajjani; Alexandra Silva
Springer International Publishing AG (2017)
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, Oded Maler

101,40 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 722 sivua
Asu: Pehmeäkantinen kirja
Painos: 2009 ed.
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