Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Program Dependences, Slicing, and Verification

Accurate and Scalable Approaches for Concurrent Object Oriented Programs

Limba englezăengleză
Carte Carte broșată
Carte Program Dependences, Slicing, and Verification Venkatesh-Prasad Ranganath
Codul Libristo: 06830582
Editura VDM Verlag, martie 2010
This dissertation presents accurate and scalable approaches to discover program dependences (relatio... Descrierea completă
? points 193 b
420.17 lei
La editor doar la comandă Expediem în 17-27 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Die große Schlagerparty, 1 Audio-CD Captain Cook Und Seine Singenden Saxophone / Audio Audio CD
common.buy 66.28 lei
Star Wars. Las aventuras de Luke Skywalker, Caballero Jedi AA. VV. / Carte Carte broșată
common.buy 82.77 lei
La Baronessa Di Carini (1870) Salvatore Salomone-Marino / Carte Carte broșată
common.buy 98.95 lei
Sevdazede Özcan Deniz / Audio Audio CD
common.buy 103.23 lei
Kreatives Gestalten. 77 Ideen rund um Zeichnen, Malen und Collage Katja Spitzer / Carte Carte broșată
common.buy 43.21 lei
LA SANTE PUBLIQUE EN FRANCE UN CAS D ECOLE Rollet / Carte Copertă tare
common.buy 120.67 lei
Meus Amigos os Animais: Livreto de Colorir e@syBook para crianças de 4 a 7 anos E@sybook / Carte Carte broșată
common.buy 39.97 lei
La Republique c'Est Le Salut ! Epitre Aux Jeunes Electeurs Thirion-E-A / Carte Carte broșată
common.buy 70.25 lei
A titokdoboz - Cutia cu secrete Kertész Erzsi / Carte Copertă tare
common.buy 32.77 lei
Akademické poznávání, vykazování a podnikání Tereza Stöckelová / Carte Carte broșată
common.buy 54.59 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Program Dependences, Slicing, and Verification
Autor Venkatesh-Prasad Ranganath
Limba engleză
Legare Carte - Carte broșată
Data publicării 2010
Număr pagini 304
EAN 9783639228038
ISBN 3639228030
Codul Libristo 06830582
Editura VDM Verlag
Greutatea 449
Dimensiuni 152 x 229 x 17

Categorii

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Naval Chronicle: Volume 2, July-December 1799 James Stanier ClarkeJohn McArthur / Carte Carte broșată
common.buy 425.59 lei
Prague City Guide 2024 (Anglais) Axelle THOMAS / Carte Copertă tare
common.buy 235.60 lei
Acquainted with Sorrow Terry Posthumus / Carte Carte broșată
common.buy 101.77 lei
I Am Better Now Kelly Gaffney / Carte Carte broșată
common.buy 37.15 lei
Her Italians: A steamy MMF romance with a Mafia twist. Sc Daiko / Carte Carte broșată
common.buy 57.20 lei
Hilo: Out-of-This-World Boxed Set Judd Winick / Carte Copertă tare
common.buy 190.61 lei
Top
Birds by the Shore Jennifer Ackerman / Carte Carte broșată
common.buy 79.95 lei
Third Mushroom Jennifer L Holm / Carte Copertă tare
common.buy 87.57 lei
Top Curând
Ultimate Wood-Fired Oven Cookbook TAYLOR GENEVIEVE / Carte Copertă tare
common.buy 119.10 lei
Lesbian: Love Cuffed (First Time Lesbian, lesbian romance, lesbian fiction). Olivia Hampshire / Carte Carte broșată
common.buy 57.61 lei
Christian Doctrine in Rhyme: with Scriptural Basis Dr Reece B Sherman / Carte Carte broșată
common.buy 38.51 lei
Researching Education for Social Justice in Multilingual Settings Jean Conteh / Carte Carte broșată
common.buy 311.91 lei
Dorothy Richardson Caesar Blake / Carte Carte broșată
common.buy 200.63 lei
Eyes Open Level 1 Workbook with Online Practice Vicki Anderson / Carte Copertă tare
common.buy 82.15 lei
Sacred Gem Anu Vivek / Carte Carte broșată
common.buy 101.56 lei
Blood of the Dragon Prof David T Pudlevitcz Ph D / Carte Copertă tare
common.buy 170.25 lei
Critical Issues for the Development of Sustainable E-health Solutions Nilmini Wickramasinghe / Carte Carte broșată
common.buy 1 140.47 lei
Jessica's Grandad Robert MacGowan / Carte Carte broșată
common.buy 101.25 lei
Secret Harold Robbins / Carte Carte broșată
common.buy 46.03 lei
Norms of Answerability Greg M. Nielson / Carte Carte broșată
common.buy 216.29 lei
Knowledge and Self-Knowledge in Plato's Theaetetus Andrea Tschemplik / Carte Copertă tare
common.buy 671.75 lei
Hans Josephson Gerstle Mack / Carte Copertă tare
common.buy 383.00 lei
Symmetric Solutions Bruce Saunders / Carte binding.
common.buy 211.28 lei
Trauma and Resilience Among Child Soldiers Around the World Cecilia Wainryb / Carte Copertă tare
common.buy 1 193.29 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo