Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings - Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni
Acheter sur Amazon

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

par , ,
Langue
Anglais
Publié en
Maison d'édition
Springer Berlin Heidelberg
Pages
556
ISBN
9783642358722

Thèmes

Infos sur l'édition originale

Langue d'origine
Anglais
Éditeur d'origine Springer Berlin Heidelberg

Autres éditions (1)

Livres similaires

Variable Neighborhood Search 9th International Conference, ICVNS 2022, Abu Dhabi, United Arab Emirates, October 25–28, 2022, Revised Selected Papers - Angelo Sifaleras, Said Salhi, Jack Brimberg

Variable Neighborhood Search 9th International Conference, ICVNS 2022, Abu Dhabi, United Arab Emirates, October 25–28, 2022, Revised Selected Papers

Angelo Sifaleras, Said Salhi, Jack Brimberg

Anglais
 
New Frontiers in Artificial Intelligence JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers - Daisuke Bekki, Takashi Onoda, Eric Mc Cready

New Frontiers in Artificial Intelligence JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers

Daisuke Bekki, Takashi Onoda, Eric Mc Cready

Anglais
 
New Frontiers in Artificial Intelligence JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers - Ken Satoh, Takashi Washio, Hideaki Takeda

New Frontiers in Artificial Intelligence JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers

Ken Satoh, Takashi Washio, Hideaki Takeda

Anglais
 
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II - Rayna Dimitrova, Ori Lahav, Sebastian Wolff

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II

Rayna Dimitrova, Ori Lahav, Sebastian Wolff

Anglais
 

Livres similaires gratuits

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings - Alessandra Russo, Andy Schürr

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Alessandra Russo, Andy Schürr

Anglais
Lire
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I - Hana Chockler, Georg Weissenbacher

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Hana Chockler, Georg Weissenbacher

Anglais
Lire
Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings - Christel Baier, Ugo Dal Lago

Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Christel Baier, Ugo Dal Lago

Anglais
Lire
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II - Isil Dillig, Serdar Tasiran

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Isil Dillig, Serdar Tasiran

Anglais
Lire