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

Uitgever: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

9783642358722
07 januari 2013
563 pagina's

Alle productspecificaties

Samenvatting

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013.

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013.
The 27 revised full papers presented were carefully reviewed and selected from 72 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type system, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

Productspecificaties

Inhoud

Oorspronkelijke releasedatum: 07 januari 2013
Aantal pagina's: 563

Betrokkenen

Hoofdredacteur: Roberto Giacobazzi
Tweede Redacteur: Josh Berdine
Co Redacteur: Isabella Mastroeni
Hoofduitgeverij: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Overige kenmerken

Editie: 2013 ed.
Product breedte: 159 mm
Product hoogte: 25 mm
Product lengte: 229 mm
Verpakking breedte: 159 mm
Verpakking hoogte: 25 mm
Verpakking lengte: 229 mm
Verpakkingsgewicht: 816 g

EAN

EAN: 9783642358722

Je vindt dit artikel in

Categorieën: Computers & Informatica

Computer hardware

Computertechnologie

Programmeren

Netwerkhardware

Kunstmatige intelligentie

Wiskunde voor computerwetenschappers

Programmeertalen

Softwareontwikkeling

Boeken
Taal: Engels
Beschikbaarheid: Leverbaar
Boek, ebook of luisterboek?: Boek
Studieboek of algemeen: Algemene boeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

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.