Del i serien Lecture Notes in Computer Science
Verification, Model Checking, and Abstract Interpretation
17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Häftad, Engelska, 2015
739 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (10)
This book constitutes the refereed proceedings of the 17th InternationalConference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions. VMCAI provides topics including: program verification, model checking, abstractinterpretation and abstract domains, program synthesis, static analysis,type systems, deductive methods, program certification, debugging techniques,program transformation, optimization, hybrid and cyber-physical systems.
Produktinformation
- Utgivningsdatum2015-12-26
- Mått155 x 235 x 31 mm
- Vikt855 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor558
- Upplaga15001
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783662491218
Tillhör följande kategorier
Hoppa över listan
Mer från samma serie
Del 16375
Agent Mediated Electronic Commerce II
Alexandros Moukas, Carles Sierra, Fredrik Ygge
Häftad, 2000
739 kr
Del 16376
Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries
Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki
Häftad, 2026
1 209 kr
Del 15401
Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops
Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi
Häftad, 2025
959 kr
Del 16625
Hoppa över listan
Du kanske också är intresserad av
Verification, Model Checking, and Abstract Interpretation
E. Allen Emerson, Kedar S. Namjoshi
Häftad, 2005
739 kr
Del 13182
Verification, Model Checking, and Abstract Interpretation
Bernd Finkbeiner, Thomas Wies
Häftad, 2022
1 289 kr
Verification, Model Checking, and Abstract Interpretation
Viktor Kuncak, Andrey Rybalchenko
Häftad, 2012
739 kr
Del 13881
Verification, Model Checking, and Abstract Interpretation
Cezara Dragoi, Michael Emmi, Jingbo Wang
Häftad, 2023
1 109 kr
Verification, Model Checking, and Abstract Interpretation
Ranjit Jhala, David Schmidt
Häftad, 2011
739 kr
Del 10747
Verification, Model Checking, and Abstract Interpretation
Isil Dillig, Jens Palsberg
Häftad, 2018
739 kr
Verification, Model Checking, and Abstract Interpretation
Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni
Häftad, 2013
739 kr
Verification, Model Checking, and Abstract Interpretation
Lenore D. Zuck, Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay
Häftad, 2002
739 kr
Verification, Model Checking, and Abstract Interpretation
Gilles Barthe, Manuel Hermenegildo
Häftad, 2010
739 kr
Del 16417
Verification, Model Checking, and Abstract Interpretation
Yu-Fang Chen, Thomas Jensen, Ondřej Lengál
Häftad, 2026
1 099 kr