Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Name: Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
Price: 80.50 CAD
Availability: InStock
Author: Manuel Hermenegildo
ISBN: 9783642113185

Gilles Barthe Édition : Manuel Hermenegildo

8 janvier 2010

80,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

397

Theoretical Computer Science and General Issues

Publié par: Springer/Sci-Tech/Trade

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783642113185

Operations Research and Enterprise Systems: 9th International Conference, ICORES 2020, Valetta, Malta, February 22-24, 2020, and 10th International Conference, ICORES 2021, Virtual Event, February 4-6, 2021, Revised Selected Papers

Greg H. Parlier Couverture souple
80,50 $
2 formats offerts
Beyond Databases, Architectures, and Structures: 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings

Stanislaw Kozielski Couverture souple
80,50 $
Advances in Databases and Information Systems: 28th European Conference, ADBIS 2024, Bayonne, France, August 28–31, 2024, Proceedings

Livre numérique Kobo
181,99 $ ~~Réduction sur le prix courant 226,47 $ à~~
2 formats offerts
Neural-Symbolic Learning and Reasoning: 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part II

Tarek R. Besold Couverture souple
204,50 $
2 formats offerts
Data Analytics and Management in Data Intensive Domains: XIX International Conference, DAMDID/RCDL 2017, Moscow, Russia, October 10-13, 2017, Revised Selected Papers

Leonid Kalinichenko Couverture souple
80,50 $
2 formats offerts
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012, Proceedings

Anupam Gupta Couverture souple
80,50 $
Database Systems for Advanced Applications: DASFAA 2009 International Workshops: BenchmaX, MCIS, WDPP, PPDA, MBC, PhD, Brisbane, Australia, April 20-23, 2009

Lei Chen Couverture souple
80,50 $
String Processing and Information Retrieval: 29th International Symposium, SPIRE 2022, Concepcion, Chile, November 8-10, 2022, Proceedings

Diego Arroyuelo Couverture souple
124,50 $
2 formats offerts
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013, Proceedings

Prasad Raghavendra Couverture souple
80,50 $
Neural-Symbolic Learning and Reasoning: 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part I

Tarek R. Besold Couverture souple
204,50 $
2 formats offerts
Genetic Programming: 12th European Conference, Eurogp 2009 Tubingen, Germany, April, 15-17, 2009 Proceedings

Leonardo Vanneschi Couverture souple
80,50 $
Linking Theory and Practice of Digital Libraries: 25th International Conference on Theory and Practice of Digital Libraries, TPDL 2021, Virtual Event, September 13-17, 2021, Proceedings

Gerd Berget Couverture souple
116,95 $
2 formats offerts
Information Technology for Management: Business and Social Issues: 16th Conference, ISM 2021, and FedCSIS-AIST 2021 Track, Held as Part of FedCSIS 2021, Virtual Event, September 2-5, 2021, Extended and Revised Selected Papers

Ewa Ziemba Couverture souple
72,95 $
2 formats offerts
Enterprise Information Systems: 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papers

Joaquim Filipe Couverture souple
116,95 $
2 formats offerts
Verification, Model Checking, And Abstract Interpretation: 20th International Conference, Vmcai 2019, Cascais, Portugal, January 13-15, 2019, Proceedings

Constantin Enea Couverture souple
80,50 $
2 formats offerts
System Analysis And Modeling. Languages, Methods, And Tools For Systems Engineering: 10th International Conference, Sam 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings

Ferhat Khendek Couverture souple
80,50 $
2 formats offerts
Machine Learning And Knowledge Discovery In Databases: European Conference, Ecml Pkdd 2018, Dublin, Ireland, September 10-14, 2018, Proceedings, Part Iii

Ulf Brefeld Couverture souple
80,50 $
2 formats offerts
Electronic Participation: Third IFIP WG 8.5 International Conference, ePart 2011, Delft, The Netherlands, August 29 - September 1, 2011. Proceedings

Efthimios Tambouris Couverture souple
80,50 $
Fundamentals Of Computation Theory: 23rd International Symposium, Fct 2021, Athens, Greece, September 12-15, 2021, Proceedings

Evripidis Bampis Couverture souple
145,95 $
2 formats offerts
Computational Intelligence In Music, Sound, Art And Design: 7th International Conference, Evomusart 2018, Parma, Italy, April 4-6, 2018, Proceedings

Antonios Liapis Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

manuel hermenegildo

Auteur

Verification, Model Checking, And Abstract Interpretation: 20th International Conference, Vmcai 2019, Cascais, Portugal, January 13-15, 2019, Proceedings

Constantin Enea Couverture souple
80,50 $
2 formats offerts
Verification, Model Checking, And Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, Usa, January 16-21, 2020, Proceedings

Dirk Beyer Couverture souple
131,50 $
2 formats offerts
Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings

Víctor Braberman Couverture souple
72,95 $
Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

Patrick Godefroid Couverture souple
80,50 $
Verification, Model Checking, And Abstract Interpretation: 23rd International Conference, Vmcai 2022, Philadelphia, Pa, Usa, January 16-18, 2022, Proceedings

Bernd Finkbeiner Couverture souple
145,95 $
2 formats offerts
Developments In Language Theory: 24th International Conference, Dlt 2020, Tampa, Fl, Usa, May 11-15, 2020, Proceedings

Nata Jonoska Couverture souple
80,50 $
2 formats offerts
Algorithms and Complexity: 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings

Paul G. Spirakis Couverture souple
80,50 $
Structural Information and Communication Complexity: 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings

Christian Scheideler Couverture souple
80,50 $
Verification, Model Checking, And Abstract Interpretation: 22nd International Conference, Vmcai 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings

Fritz Henglein Couverture souple
145,95 $
2 formats offerts
Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Einar Broch Johnsen Couverture souple
80,50 $
2 formats offerts
Experimental Algorithms: 14th International Symposium, Sea 2015, Paris, France, June 29 - July 1, 2015, Proceedings

Evripidis Bampis Couverture souple
80,50 $
Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Tayssir Touili Couverture souple
160,95 $
Verification And Evaluation Of Computer And Communication Systems: 12th International Conference, Vecos 2018, Grenoble, France, September 26-28, 2018, Proceedings

Mohamed Faouzi Atig Couverture souple
80,50 $
2 formats offerts
Fundamental Approaches to Software Engineering: 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Vittorio Cortellessa Couverture souple
80,50 $
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Natasha Sharygina Couverture souple
160,95 $
Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings

Franz Winkler Couverture souple
80,50 $
Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings

Étienne Andr Couverture souple
80,50 $
2 formats offerts
Evolutionary Computation in Combinatorial Optimization: 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

Christian Blum Couverture souple
80,50 $
Algorithms and Models for the Web Graph: 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012, Proceedings

Anthony Bonato Couverture souple
102,50 $
Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Catalin Dima Couverture souple
80,50 $
2 formats offerts

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Description

Vous aimerez peut-être aussi

Operations Research and Enterprise Systems: 9th International Conference, ICORES 2020, Valetta, Malta, February 22-24, 2020, and 10th International Conference, ICORES 2021, Virtual Event, February 4-6, 2021, Revised Selected Papers

Beyond Databases, Architectures, and Structures: 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings

Advances in Databases and Information Systems: 28th European Conference, ADBIS 2024, Bayonne, France, August 28–31, 2024, Proceedings

Neural-Symbolic Learning and Reasoning: 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part II

Data Analytics and Management in Data Intensive Domains: XIX International Conference, DAMDID/RCDL 2017, Moscow, Russia, October 10-13, 2017, Revised Selected Papers

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012, Proceedings

Database Systems for Advanced Applications: DASFAA 2009 International Workshops: BenchmaX, MCIS, WDPP, PPDA, MBC, PhD, Brisbane, Australia, April 20-23, 2009

String Processing and Information Retrieval: 29th International Symposium, SPIRE 2022, Concepcion, Chile, November 8-10, 2022, Proceedings

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013, Proceedings

Neural-Symbolic Learning and Reasoning: 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part I

Genetic Programming: 12th European Conference, Eurogp 2009 Tubingen, Germany, April, 15-17, 2009 Proceedings

Linking Theory and Practice of Digital Libraries: 25th International Conference on Theory and Practice of Digital Libraries, TPDL 2021, Virtual Event, September 13-17, 2021, Proceedings

Information Technology for Management: Business and Social Issues: 16th Conference, ISM 2021, and FedCSIS-AIST 2021 Track, Held as Part of FedCSIS 2021, Virtual Event, September 2-5, 2021, Extended and Revised Selected Papers

Enterprise Information Systems: 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papers

Verification, Model Checking, And Abstract Interpretation: 20th International Conference, Vmcai 2019, Cascais, Portugal, January 13-15, 2019, Proceedings

System Analysis And Modeling. Languages, Methods, And Tools For Systems Engineering: 10th International Conference, Sam 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings

Machine Learning And Knowledge Discovery In Databases: European Conference, Ecml Pkdd 2018, Dublin, Ireland, September 10-14, 2018, Proceedings, Part Iii

Electronic Participation: Third IFIP WG 8.5 International Conference, ePart 2011, Delft, The Netherlands, August 29 - September 1, 2011. Proceedings

Fundamentals Of Computation Theory: 23rd International Symposium, Fct 2021, Athens, Greece, September 12-15, 2021, Proceedings

Computational Intelligence In Music, Sound, Art And Design: 7th International Conference, Evomusart 2018, Parma, Italy, April 4-6, 2018, Proceedings

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Verification, Model Checking, And Abstract Interpretation: 20th International Conference, Vmcai 2019, Cascais, Portugal, January 13-15, 2019, Proceedings

Verification, Model Checking, And Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, Usa, January 16-21, 2020, Proceedings

Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings

Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

Verification, Model Checking, And Abstract Interpretation: 23rd International Conference, Vmcai 2022, Philadelphia, Pa, Usa, January 16-18, 2022, Proceedings

Developments In Language Theory: 24th International Conference, Dlt 2020, Tampa, Fl, Usa, May 11-15, 2020, Proceedings

Algorithms and Complexity: 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings

Structural Information and Communication Complexity: 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings

Verification, Model Checking, And Abstract Interpretation: 22nd International Conference, Vmcai 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings

Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Experimental Algorithms: 14th International Symposium, Sea 2015, Paris, France, June 29 - July 1, 2015, Proceedings

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Verification And Evaluation Of Computer And Communication Systems: 12th International Conference, Vecos 2018, Grenoble, France, September 26-28, 2018, Proceedings

Fundamental Approaches to Software Engineering: 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings

Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings

Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings

Evolutionary Computation in Combinatorial Optimization: 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

Algorithms and Models for the Web Graph: 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012, Proceedings

Formal Modeling And Analysis Of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings