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.17 €
Te bestellen bij de uitgever Wordt binnen 17-27 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

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.28 €
Papa Leo XIV. Eureka Circe / Boek Gebonden (paperback)
common.buy 15.79 €
LA SANTE PUBLIQUE EN FRANCE UN CAS D ECOLE Rollet / Boek Gebonden (harde band)
common.buy 22.78 €
A titokdoboz - Cutia cu secrete Kertész Erzsi / Boek Gebonden (harde band)
common.buy 6.27 €
Star Wars. Las aventuras de Luke Skywalker, Caballero Jedi AA. VV. / Boek Gebonden (paperback)
common.buy 14.07 €
Kreatives Gestalten. 77 Ideen rund um Zeichnen, Malen und Collage Katja Spitzer / Boek Gebonden (paperback)
common.buy 7.89 €
La Baronessa Di Carini (1870) Salvatore Salomone-Marino / Boek Gebonden (paperback)
common.buy 22.18 €
Die große Schlagerparty, 1 Audio-CD Captain Cook Und Seine Singenden Saxophone / Audio Audio cd
common.buy 12.05 €
Mitteilungen und Nachrichten fur die evangelische Geistlichkeit Russlands C. C. Ulmann / Boek Gebonden (paperback)
common.buy 33.01 €
Akademické poznávání, vykazování a podnikání Tereza Stöckelová / Boek Gebonden (paperback)
common.buy 10.42 €
Sevdazede Özcan Deniz / Audio Audio cd
common.buy 18.73 €
La Republique c'Est Le Salut ! Epitre Aux Jeunes Electeurs Thirion-E-A / Boek Gebonden (paperback)
common.buy 11.94 €
Streik zur Pensionsreform 2003 Heidi Huber / Boek Gebonden (paperback)
common.buy 15.29 €

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

Human Journey Towards Spirituality Tristan Cajar / Boek Gebonden (paperback)
common.buy 51.55 €
Sacred Gem Anu Vivek / Boek Gebonden (paperback)
common.buy 16.60 €
Her Italians: A steamy MMF romance with a Mafia twist. Sc Daiko / Boek Gebonden (paperback)
common.buy 10.32 €
Hilo: Out-of-This-World Boxed Set Judd Winick / Boek Gebonden (harde band)
common.buy 34.13 €
Birds by the Shore Jennifer Ackerman / Boek Gebonden (paperback)
common.buy 14.27 €
Third Mushroom Jennifer L Holm / Boek Gebonden (harde band)
common.buy 15.79 €
Wordt verwacht
Ultimate Wood-Fired Oven Cookbook TAYLOR GENEVIEVE / Boek Gebonden (harde band)
common.buy 22.68 €
Lesbian: Love Cuffed (First Time Lesbian, lesbian romance, lesbian fiction). Olivia Hampshire / Boek Gebonden (paperback)
common.buy 10.42 €
Christian Doctrine in Rhyme: with Scriptural Basis Dr Reece B Sherman / Boek Gebonden (paperback)
common.buy 6.98 €
I Am Better Now Kelly Gaffney / Boek Gebonden (paperback)
common.buy 7.08 €
Researching Education for Social Justice in Multilingual Settings Jean Conteh / Boek Gebonden (paperback)
common.buy 51.15 €
Dorothy Richardson Caesar Blake / Boek Gebonden (paperback)
common.buy 36.66 €
Acquainted with Sorrow Terry Posthumus / Boek Gebonden (paperback)
common.buy 18.43 €
Prague City Guide 2024 (Anglais) Axelle THOMAS / Boek Gebonden (harde band)
common.buy 44.66 €
TOP
Eyes Open Level 1 Workbook with Online Practice Vicki Anderson / Boek Gebonden (harde band)
common.buy 13.46 €
Key Aspects of Random Number Generation Martin Schaffer / Boek Gebonden (paperback)
common.buy 82.25 €
Asperger Syndrome and Maternal Experiences Sharon Link / Boek Gebonden (paperback)
common.buy 72.52 €
Trauma and Resilience Among Child Soldiers Around the World Cecilia Wainryb / Boek Gebonden (harde band)
common.buy 252.03 €
Symmetric Solutions Bruce Saunders / Boek binding.
common.buy 40.00 €
Hans Josephson Gerstle Mack / Boek Gebonden (harde band)
common.buy 72.73 €
Blood of the Dragon Prof David T Pudlevitcz Ph D / Boek Gebonden (harde band)
common.buy 30.48 €
Knowledge and Self-Knowledge in Plato's Theaetetus Andrea Tschemplik / Boek Gebonden (harde band)
common.buy 134.32 €
Norms of Answerability Greg M. Nielson / Boek Gebonden (paperback)
common.buy 36.36 €
Secret Harold Robbins / Boek Gebonden (paperback)
common.buy 8.30 €

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
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?