Cantitate/Preț
Produs
Total produse
Vezi coșul
Verification, Model Checking, and Abstract Interpretation de Barbara Jobstmann

Verification, Model Checking, and Abstract Interpretation

Editat de Barbara Jobstmann, K. Rustan M. Leino
en Limba Engleză Paperback – 26 dec 2015
This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The  24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions. 
VMCAI provides topics including: program verification, model checking, abstract
interpretation and abstract domains, program synthesis, static analysis,
type systems, deductive methods, program certification, debugging techniques,
program transformation, optimization, hybrid and cyber-physical systems.
Citește tot Restrânge

Preț: 33607 lei

Preț vechi: 42009 lei
-20%

Puncte Express: 504
Preț estimativ în valută:
5943€ • 6815$ • 5136£

Carte tipărită la comandă

Livrare economică 27 aprilie-11 mai

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783662491218
ISBN-10: 3662491214
Pagini: 572
Ilustrații: XIII, 558 p. 123 illus. in color.
Dimensiuni: 155 x 235 x 31 mm
Greutate: 0.86 kg
Ediția:1st edition 2016
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Abstract Interpretation.- Abstraction.- Hybrid and Timed Systems.- Dynamic and Static Verification.- Probabilistic Systems.- Concurrent Programs.- Parameterized and Component-Based Systems.- Solver Improvements.

Caracteristici

Includes supplementary material: sn.pub/extras