This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011.
This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011.
The 24 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 71 initial submissions. The papers showcases state-of-the-art research in areas such as verification, model checking, abstract interpretation and address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Further topics covered are static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.
Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.
Kies gewenste uitvoering
Bindwijze
(1)
Prijsinformatie en bestellen
De prijs van dit product is 54 euro en 99 cent.54
99
Uiterlijk 3 mei in huis
Levertijd
We doen er alles aan om dit artikel op tijd te bezorgen. Het is echter in een enkel geval mogelijk dat door omstandigheden de bezorging vertraagd is.
Bezorgopties
We bieden verschillende opties aan voor het bezorgen of ophalen van je bestelling. Welke opties voor jouw bestelling beschikbaar zijn, zie je bij het afronden van de bestelling.
Verkoop door bol
Verification Model Checking and Abstract Interpretation
{"pdpTaxonomyObj":{"pageInfo":{"pageType":"PDP","language":"nl","website":"bol.com"},"userInfo":{},"productInfo":[{"productId":"1001004011167397","ean":"9783642182747","title":"Verification Model Checking and Abstract Interpretation","price":"54.99","categoryTreeList":[{"tree":["Boeken","Computers \u0026 Informatica"]},{"tree":["Boeken","Computers \u0026 Informatica","Computertechnologie"]},{"tree":["Boeken","Computers \u0026 Informatica","Programmeren"]},{"tree":["Boeken","Computers \u0026 Informatica","Computertechnologie","Wiskunde voor computerwetenschappers"]},{"tree":["Boeken","Computers \u0026 Informatica","Programmeren","Algoritmes \u0026 datastructuren"]},{"tree":["Boeken","Computers \u0026 Informatica","Programmeren","Compilers \u0026 interpreters"]},{"tree":["Boeken","Computers \u0026 Informatica","Programmeren","Softwareontwikkeling"]},{"tree":["Boeken"]}],"brick":"10000926","chunk":"80007266","publisher":"Springer-Verlag Berlin and Heidelberg GmbH \u0026 Co. K","averageReviewRating":"0.0","seriesList":[],"sellerName":"bol.com","uniqueProductAttribute":"BINDING-"}]}}
{"pdpAnalyticsObj":{"pageInfo":{"pageType":"PDP","country":"BE","shoppingChannelContextTypeAndDeviceType":"www.bol.com,SEO_AGENT","canonicalUrl":"https://www.bol.com/be/nl/p/verification-model-checking-and-abstract-interpretation/1001004011167397/","shortURL":"/p/verification-model-checking-and-abstract-interpretation/1001004011167397/","countryLanguage":"be-nl","external":true,"subscriptionInfo":{"selectMembership":false},"shouldSendUserProps":false,"renderedInApp":false},"product":{"productId":"1001004011167397","title":"Verification Model Checking and Abstract Interpretation","category":"Boeken/Computers \u0026 Informatica","brand":"","brick":"10000926","seller":"0_","price":54.99,"discount":0.0,"categoryNumbersFlattened":["8299","40343"],"categories":["Boeken","Computers \u0026 Informatica","Computertechnologie","Wiskunde voor computerwetenschappers"],"orderable":"available","quantity":1}}}