Verification Model Checking and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

Name: Verification Model Checking and Abstract Interpretation
Author: D Souza Deepak

Auteur: D Souza Deepak

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: D Souza Deepak

Engels
Paperback
9783662460801
07 januari 2015
484 pagina's

Alle productspecificaties

Samenvatting

The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical systems.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Paperback
Oorspronkelijke releasedatum: 07 januari 2015
Aantal pagina's: 484
Illustraties: Nee

Betrokkenen

Hoofdauteur: D Souza Deepak
Hoofdredacteur: Deepak D'Souza
Tweede Redacteur: Akash Lal
Co Redacteur: Kim Guldstrand Larsen
Hoofduitgeverij: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Overige kenmerken

Editie: 2015 ed.
Extra groot lettertype: Nee
Product breedte: 155 mm
Product lengte: 235 mm
Studieboek: Ja
Verpakking breedte: 157 mm
Verpakking hoogte: 27 mm
Verpakking lengte: 233 mm
Verpakkingsgewicht: 727 g

EAN

EAN: 9783662460801

Je vindt dit artikel in

Categorieën: Computers & Informatica

Computer hardware

Computertechnologie

Programmeren

Netwerkhardware

Wiskunde voor computerwetenschappers

Compilers & interpreters

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.