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.

Verified Software: Theorie, Tools, Experiments

5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Limba englezăengleză
Carte Carte broșată
Carte Verified Software: Theorie, Tools, Experiments Ernie Cohen
Codul Libristo: 02433185
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ianuarie 2014
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International... Descrierea completă
? points 132 b
286.02 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

SoC-basierte Erprobungsplattform fur CCD-Kameras mit Channel Link IF Ramin Jeyrani-Mameghani / Carte Carte broșată
common.buy 262.56 lei
Consequencias clinicas da transmissao vertical de sifilis Claudio Quinan Balestrin Neto / Carte Carte broșată
common.buy 163.92 lei
Los musicatos: Y la caja de música ISABEL ASENSI LIDON / Carte Carte broșată
common.buy 74.86 lei
Une touche de bleu - Tome 04 Nozomi Suzuki / Carte Carte broșată
common.buy 61.93 lei
The Assent Unterwirf dich der Dunkelheit, 1 Blu-ray Pearry Reginald Teo / Videoclip Blu-ray
common.buy 90.71 lei
Auswanderung der protestantisch gesinnten Salzburger in den Jahren 1731 und 1732 Ludwig Clarus / Carte Carte broșată
common.buy 198.43 lei
Dance & love. La mia musica, la mia vita Gabry Ponte / Carte Copertă tare
common.buy 107.92 lei
Power Query w Excelu i Power BI. Zbieranie i przekształcanie danych Daniil Maslyuk / Carte Carte broșată
common.buy 127.94 lei

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.

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 Verified Software: Theorie, Tools, Experiments
Autor Ernie Cohen, Andrey Rybalchenko
Limba engleză
Legare Carte - Carte broșată
Data publicării 2014
Număr pagini 345
EAN 9783642541070
ISBN 3642541070
Codul Libristo 02433185
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 5504
Dimensiuni 155 x 235 x 20

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
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

New Initiatives On Lepton Flavor Violation And Neutrino Oscillation With High Intense Muon And Neutrino Sources William R Molzon / Carte Copertă tare
common.buy 793.23 lei
The Palgrave Handbook of Experimental Cinema Jonathan Walley / Carte Carte broșată
common.buy 588.01 lei
On Legitimacy in Global Governance Soren Hilbrich / Carte Carte broșată
common.buy 646.72 lei
HBR's 10 Must Reads on Strategy (including featured article &quote;What Is Strategy?&quote; by Michael E. Porter) Harvard Business Review / E-book Adobe ePub DRM
common.buy 150.05 lei
Jane Austen: What Is Right To Be Done Memo Cube Insight Editions / Carte Carte broșată
common.buy 82.68 lei
Wytch Wars Sharon Anne Guthrie / Carte Carte broșată
common.buy 57.13 lei
Belinda Maria Edgeworth / Carte Carte broșată
common.buy 63.39 lei
WHERE I NEED TO BE Kimberly Knight / Carte Carte broșată
common.buy 81.85 lei
The Turtle Ship Helena Ku Rhee / Carte Copertă tare
common.buy 103.12 lei
Curând
Living in Provence René Stoeltie / Carte Copertă tare
common.buy 120.74 lei
What's my name? NEO Tiina Walsh / Carte Carte broșată
common.buy 82.06 lei
Learn from Me Fr Con Buckley / Carte Carte broșată
common.buy 151.30 lei
Live Successfully! Book No. 7 - How to Make Friends and be Persuasive Anon / Carte Carte broșată
common.buy 72.78 lei
Top
Kcd Boulet/Animal Spirit Susan Seddon Boulet / Materiale tipărite Cărți
common.buy 65.79 lei
Time-Frequency Analysis and Synthesis of Linear Signal Spaces Franz Hlawatsch / Carte Carte broșată
common.buy 854.96 lei
Religion and State in the American Jewish Experience Jonathan D. Sarna / Carte Copertă tare
common.buy 781.34 lei
Heirs of Salvation Gloria Laura Lavoie / Carte Carte broșată
common.buy 73.40 lei
Gentry Leaders In Peace And War Mary Wolffe / Carte Copertă tare
common.buy 662.05 lei
Cincinnati Day Trips Jennifer Renee Reed / Carte Carte broșată
common.buy 108.75 lei
Rome Franco Archibugi / Carte Carte broșată
common.buy 367.88 lei
Look Back with Longing Suzanne Morris / Carte Carte broșată
common.buy 112.71 lei
Young Ladies Conduct John. Essex / Carte Carte broșată
common.buy 126.37 lei
Kingdoms & the Elves of the Reaches (Keeper Martin's Tales, Book 1) Robert Stanek / Carte Carte broșată
common.buy 80.81 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