Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Program Dependences, Slicing, and Verification

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

Accurate and Scalable Approaches for Concurrent Object Oriented Programs

Venkatesh-Prasad Ranganath

Sprache

Englisch

Buch Broschur

Libristo-Code: 06830582

Verlag VDM Verlag, März 2010

This dissertation presents accurate and scalable approaches to discover program dependences (relatio... Vollständige Beschreibung

Libristo-Code: 06830582

163 b

66.59 € inkl. MwSt.

Beim Verlag auf Bestellung Wir versenden in 17-27 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

Broschur

7.49 €

Papa Leo XIV. Eureka Circe

Broschur

15.59 €

LA SANTE PUBLIQUE EN FRANCE UN CAS D ECOLE Rollet

Hardcover

18.49 €

A titokdoboz - Cutia cu secrete Kertész Erzsi

Hardcover

5.09 €

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

Broschur

13.89 €

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

Broschur

7.79 €

La Baronessa Di Carini (1870) Salvatore Salomone-Marino

Broschur

18.69 €

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

Audio CD

12.49 €

Mitteilungen und Nachrichten fur die evangelische Geistlichkeit Russlands C. C. Ulmann

Broschur

36.90 €

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

Broschur

8.19 €

Sevdazede Özcan Deniz

Audio CD

19.39 €

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

Broschur

9.89 €

Streik zur Pensionsreform 2003 Heidi Huber

Broschur

16.95 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Program Dependences, Slicing, and Verification

Autor Venkatesh-Prasad Ranganath

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 304

EAN 9783639228038

ISBN 3639228030

Libristo-Code 06830582

Verlag VDM Verlag

Gewicht 449

Abmessungen 152 x 229 x 17

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert