Cantitate/Preț
Produs
Total produse
Vezi coșul
Verified Software: Theories, Tools and Experiments de Dimitra Giannakopoulou

Verified Software: Theories, Tools and Experiments: Lecture Notes in Computer Science, cartea 8471

Editat de Dimitra Giannakopoulou, Daniel Kroening
en Limba Engleză Paperback – 28 oct 2014
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32216 lei

Preț vechi: 40270 lei
-20%

Puncte Express: 483

Carte tipărită la comandă

Livrare economică 20 iulie-03 august

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

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

Specificații

ISBN-13: 9783319121536
ISBN-10: 3319121537
Pagini: 300
Ilustrații: X, 287 p. 107 illus.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Ediția:2014
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Public țintă

Research

Cuprins

Analysis: understanding and explanation.- Verification frameworks and applications.- Hypervisors and dynamic data structures.- Certification.- Real time and security.