Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Program Dependences, Slicing, and Verification

Accurate and Scalable Approaches for Concurrent Object Oriented Programs

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Program Dependences, Slicing, and Verification Venkatesh-Prasad Ranganath
Libristo-code: 06830582
Uitgeverij VDM Verlag, maart 2010
This dissertation presents accurate and scalable approaches to discover program dependences (relatio... Volledige beschrijving
? points 203 b
84.07 €
Te bestellen bij de uitgever Wordt binnen 17-27 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Die große Schlagerparty, 1 Audio-CD Captain Cook Und Seine Singenden Saxophone / Audio Audio cd
common.buy 12.03 €
Star Wars. Las aventuras de Luke Skywalker, Caballero Jedi AA. VV. / Boek Gebonden (paperback)
common.buy 15.77 €
La Baronessa Di Carini (1870) Salvatore Salomone-Marino / Boek Gebonden (paperback)
common.buy 18.00 €
Sevdazede Özcan Deniz / Audio Audio cd
common.buy 18.71 €
Kreatives Gestalten. 77 Ideen rund um Zeichnen, Malen und Collage Katja Spitzer / Boek Gebonden (paperback)
common.buy 7.88 €
LA SANTE PUBLIQUE EN FRANCE UN CAS D ECOLE Rollet / Boek Gebonden (harde band)
common.buy 22.96 €
Meus Amigos os Animais: Livreto de Colorir e@syBook para crianças de 4 a 7 anos E@sybook / Boek Gebonden (paperback)
common.buy 7.27 €
La Republique c'Est Le Salut ! Epitre Aux Jeunes Electeurs Thirion-E-A / Boek Gebonden (paperback)
common.buy 12.74 €
A titokdoboz - Cutia cu secrete Kertész Erzsi / Boek Gebonden (harde band)
common.buy 6.26 €
Akademické poznávání, vykazování a podnikání Tereza Stöckelová / Boek Gebonden (paperback)
common.buy 10.41 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Program Dependences, Slicing, and Verification
Auteur Venkatesh-Prasad Ranganath
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2010
Aantal pagina's 304
EAN 9783639228038
ISBN 3639228030
Libristo-code 06830582
Uitgeverij VDM Verlag
Gewicht 449
Afmetingen 152 x 229 x 17

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Naval Chronicle: Volume 2, July-December 1799 James Stanier ClarkeJohn McArthur / Boek Gebonden (paperback)
common.buy 84.98 €
Prague City Guide 2024 (Anglais) Axelle THOMAS / Boek Gebonden (harde band)
common.buy 44.81 €
Acquainted with Sorrow Terry Posthumus / Boek Gebonden (paperback)
common.buy 18.40 €
I Am Better Now Kelly Gaffney / Boek Gebonden (paperback)
common.buy 7.07 €
Her Italians: A steamy MMF romance with a Mafia twist. Sc Daiko / Boek Gebonden (paperback)
common.buy 10.31 €
Hilo: Out-of-This-World Boxed Set Judd Winick / Boek Gebonden (harde band)
common.buy 34.09 €
TOP
Birds by the Shore Jennifer Ackerman / Boek Gebonden (paperback)
common.buy 14.26 €
Third Mushroom Jennifer L Holm / Boek Gebonden (harde band)
common.buy 15.77 €
TOP Wordt verwacht
Ultimate Wood-Fired Oven Cookbook TAYLOR GENEVIEVE / Boek Gebonden (harde band)
common.buy 22.65 €
Lesbian: Love Cuffed (First Time Lesbian, lesbian romance, lesbian fiction). Olivia Hampshire / Boek Gebonden (paperback)
common.buy 10.41 €
Christian Doctrine in Rhyme: with Scriptural Basis Dr Reece B Sherman / Boek Gebonden (paperback)
common.buy 6.97 €
Researching Education for Social Justice in Multilingual Settings Jean Conteh / Boek Gebonden (paperback)
common.buy 56.95 €
Dorothy Richardson Caesar Blake / Boek Gebonden (paperback)
common.buy 36.62 €
Eyes Open Level 1 Workbook with Online Practice Vicki Anderson / Boek Gebonden (harde band)
common.buy 15.57 €
Sacred Gem Anu Vivek / Boek Gebonden (paperback)
common.buy 18.40 €
Blood of the Dragon Prof David T Pudlevitcz Ph D / Boek Gebonden (harde band)
common.buy 30.44 €
Critical Issues for the Development of Sustainable E-health Solutions Nilmini Wickramasinghe / Boek Gebonden (paperback)
common.buy 205.79 €
Jessica's Grandad Robert MacGowan / Boek Gebonden (paperback)
common.buy 18.20 €
Secret Harold Robbins / Boek Gebonden (paperback)
common.buy 8.29 €
Norms of Answerability Greg M. Nielson / Boek Gebonden (paperback)
common.buy 39.35 €
Knowledge and Self-Knowledge in Plato's Theaetetus Andrea Tschemplik / Boek Gebonden (harde band)
common.buy 134.15 €
Hans Josephson Gerstle Mack / Boek Gebonden (harde band)
common.buy 72.84 €
Symmetric Solutions Bruce Saunders / Boek binding.
common.buy 40.16 €
Trauma and Resilience Among Child Soldiers Around the World Cecilia Wainryb / Boek Gebonden (harde band)
common.buy 226.93 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken