Carte Verified Software: Theories, Tools and Experiments Dimitra Giannakopoulou

Verified Software: Theories, Tools and Experiments

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Limbă: engleză
Legare: Carte broșată
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
265.96 lei
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2014
Pagini
287
EAN
9783319121536
ISBN
3319121537
Enbook ID
06841788
Greutate
4569
Dimensiuni
155 x 235 x 15

Descriere completă

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.

S-ar putea să te intereseze

113.28 lei
193.86 lei
48.36 lei
61.38 lei
109.14 lei

Lumberjanes Vol. 2

Noelle Stevenson
65.42 lei
81.17 lei

Webster's First Bunker Hill Oration, 1825

Andrew Jackson George Daniel Webster
72.29 lei
148.42 lei

LibreOffice 5.2 Getting Started Guide

Libreoffice Documentation Team
133.68 lei

Rama Epic

Forrest McGill
240.31 lei
113.59 lei
99.85 lei

Land Degradation

C. J. Barrow
266.66 lei
768.10 lei
276.96 lei

Clienții care au cumpărat această carte au mai cumpărat și

92.69 lei
431.86 lei

a a a a a a a a a a a a

Rider Tiger Rider
17.06 lei
45.63 lei

Pfadfinder

Majo Probst
120.45 lei

Love & Passion

Jana Reich
116.31 lei
111.67 lei
140.04 lei