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 Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 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
285.22 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Top
Dibujos para colorear, ?qué misterio! Peque?as princesas Vv.Aa.3 / Carte Carte broșată
common.buy 75.17 lei
Dance & love. La mia musica, la mia vita Gabry Ponte / Carte Copertă tare
common.buy 106.05 lei
Power Query w Excelu i Power BI. Zbieranie i przekształcanie danych Daniil Maslyuk / Carte Carte broșată
common.buy 126.23 lei
The Assent Unterwirf dich der Dunkelheit, 1 Blu-ray Pearry Reginald Teo / Videoclip Blu-ray
common.buy 90.04 lei
Kolorowanka. Kraina baśni. Wydanie 2022 Mariola Budek / Carte Carte broșată
common.buy 23.18 lei
Compras en Minutos Anthony Barrios / Carte Carte broșată
common.buy 42.00 lei
Une touche de bleu - Tome 04 Nozomi Suzuki / Carte Carte broșată
common.buy 60.20 lei
Kalangu Obonete S. Ubam / Carte Copertă tare
common.buy 23.18 lei
Consequencias clinicas da transmissao vertical de sifilis Claudio Quinan Balestrin Neto / Carte Carte broșată
common.buy 163.25 lei
SoC-basierte Erprobungsplattform fur CCD-Kameras mit Channel Link IF Ramin Jeyrani-Mameghani / Carte Carte broșată
common.buy 261.62 lei
El Castigador: Círculo de Sangre TSUMOTU NIHEI / Carte Carte broșată
common.buy 136.62 lei
Los musicatos: Y la caja de música ISABEL ASENSI LIDON / Carte Carte broșată
common.buy 75.17 lei
Vybrané kapitoly z klinické výživy II. Pavel Kohout / Carte Carte broșată
common.buy 49.17 lei
Leftin
Mettere in scena l'arte contemporanea. Dallo spazio dell'opera allo spazio intorno all'opera Francesco Bernardelli / Carte Carte broșată
common.buy 112.92 lei
Auswanderung der protestantisch gesinnten Salzburger in den Jahren 1731 und 1732 Ludwig Clarus / Carte Carte broșată
common.buy 197.87 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

The Palgrave Handbook of Experimental Cinema Jonathan Walley / Carte Carte broșată
common.buy 586.36 lei
On Legitimacy in Global Governance Soren Hilbrich / Carte Carte broșată
common.buy 644.90 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 151.60 lei
Jane Austen: What Is Right To Be Done Memo Cube Insight Editions / Carte Carte broșată
common.buy 80.16 lei
Wytch Wars Sharon Anne Guthrie / Carte Carte broșată
common.buy 56.97 lei
Top
Belinda Maria Edgeworth / Carte Carte broșată
common.buy 63.21 lei
Low Carb Good Fat Support Group Edition MR Daniel Vincent / Carte Carte broșată
common.buy 36.18 lei
WHERE I NEED TO BE Kimberly Knight / Carte Carte broșată
common.buy 81.62 lei
The Turtle Ship Helena Ku Rhee / Carte Copertă tare
common.buy 102.83 lei
Curând
Living in Provence René Stoeltie / Carte Copertă tare
common.buy 120.82 lei
What's my name? NEO Tiina Walsh / Carte Carte broșată
common.buy 81.83 lei
Learn from Me Fr Con Buckley / Carte Carte broșată
common.buy 150.45 lei
Live Successfully! Book No. 7 - How to Make Friends and be Persuasive Anon / Carte Carte broșată
common.buy 72.57 lei
Philosophical Issues in Pharmaceutics Dien Ho / Carte Copertă tare
common.buy 568.89 lei
Kcd Boulet/Animal Spirit Susan Seddon Boulet / Materiale tipărite Cărți
common.buy 65.60 lei
Heirs of Salvation Gloria Laura Lavoie / Carte Carte broșată
common.buy 65.19 lei
Time-Frequency Analysis and Synthesis of Linear Signal Spaces Franz Hlawatsch / Carte Carte broșată
common.buy 852.56 lei
Religion and State in the American Jewish Experience Jonathan D. Sarna / Carte Copertă tare
common.buy 516.69 lei
Gentry Leaders In Peace And War Mary Wolffe / Carte Copertă tare
common.buy 659.98 lei
Cincinnati Day Trips Jennifer Renee Reed / Carte Carte broșată
common.buy 108.45 lei
Rome Franco Archibugi / Carte Carte broșată
common.buy 383.28 lei
Look Back with Longing Suzanne Morris / Carte Carte broșată
common.buy 112.40 lei
Young Ladies Conduct John. Essex / Carte Carte broșată
common.buy 126.02 lei
Kingdoms & the Elves of the Reaches (Keeper Martin's Tales, Book 1) Robert Stanek / Carte Carte broșată
common.buy 80.58 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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?