Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

Uitgever: Springer
Taal: Engels
Verification, Model Checking, and Abstract Interpretation
Uitgever: Springer
  • Engels
  • Paperback
  • 9783642182747
  • Druk: 2011
  • januari 2011
  • 419 pagina's
Alle productspecificaties

Samenvatting

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.

Productspecificaties

Inhoud

Taal
Engels
Bindwijze
Paperback
Druk
2011
Verschijningsdatum
2011-02-01
Aantal pagina's
419 pagina's
Illustraties
Nee

Betrokkenen

Redacteur
Ranjit Jhala
Uitgever
Springer

EAN

EAN
9783642182747

Overige kenmerken

Extra groot lettertype
Nee
NUR code
958
Oorspronkelijke releasedatum
2011-01-11
Subtitel
12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
Thema Subject Code
UM

Je vindt dit artikel in

Categorieën
Taal
Engels
Boek, ebook of luisterboek?
Boek
Software taal
Algemeen
Studieboek of algemeen
Algemene boeken
Nog geen reviews
Bindwijze: Paperback
91 99
Uiterlijk 29 januari in huis Tooltip
Verkoop door bol.com
  • Gratis verzending
  • 30 dagen bedenktijd en gratis retourneren
  • Ophalen bij een bol.com afhaalpunt mogelijk
  • Dag en nacht klantenservice