Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Program Dependences, Slicing, and Verification

Name: Program Dependences, Slicing, and Verification
Brand: VDM Verlag
SKU: 06830582
Price: 84.15 EUR
Availability: InStock
Author: Venkatesh-Prasad Ranganath
ISBN: 9783639228038

Accurate and Scalable Approaches for Concurrent Object Oriented Programs

Venkatesh-Prasad Ranganath

Език

Английски език

Книга С меки корици

Код Либристо: 06830582

Издателство VDM Verlag, март 2010

This dissertation presents accurate and scalable approaches to discover program dependences (relatio... Цялото описание

Код Либристо: 06830582

203 b

84.15 €

164.58 лв

Налично при издателя, по поръчка Изпращаме след 17-27 дни

30 дни за връщане на стоката

Клиентите са закупили също

Die große Schlagerparty, 1 Audio-CD Captain Cook Und Seine Singenden Saxophone

Аудио компактдиск

12.63 € 24.70 лв

Star Wars. Las aventuras de Luke Skywalker, Caballero Jedi AA. VV.

С меки корици

16.51 € 32.30 лв

La Baronessa Di Carini (1870) Salvatore Salomone-Marino

С меки корици

18.84 € 36.86 лв

Sevdazede Özcan Deniz

Аудио компактдиск

19.67 € 38.48 лв

Kreatives Gestalten. 77 Ideen rund um Zeichnen, Malen und Collage Katja Spitzer

С меки корици

8.23 € 16.09 лв

LA SANTE PUBLIQUE EN FRANCE UN CAS D ECOLE Rollet

С твърди корици

23.97 € 46.88 лв

Meus Amigos os Animais: Livreto de Colorir e@syBook para crianças de 4 a 7 anos E@sybook

С меки корици

7.24 € 14.17 лв

La Republique c'Est Le Salut ! Epitre Aux Jeunes Electeurs Thirion-E-A

С меки корици

12.73 € 24.91 лв

A titokdoboz - Cutia cu secrete Kertész Erzsi

С твърди корици

6.57 € 12.85 лв

Akademické poznávání, vykazování a podnikání Tereza Stöckelová

С меки корици

11.03 € 21.56 лв

This dissertation presents accurate and scalable approaches to discover program dependences (relations) between various parts of the program and leveraging the dependences to improve development and maintenance tasks via program slicing (comprehension) and verification. The contents include new notions of control dependences that are suitable for modern program structures (e.g. non-terminating loops in reactive systems, exceptional control flow), a general algorithm to calculate data-based program dependences in concurrent programs, a parametric framework to describe program slicing algorithms, and the first stateful model checking algorithm that employs dynamic partial order reduction. The exposition employs illustrative examples, rigorous theoretical reasoning, and thorough experimental evaluation. The tools that embody the described techniques (and were used in the experimental evaluation) are freely available at http://indus.projects.cis.ksu.edu.