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.

Hardware and Software: Verification and Testing

9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Hardware and Software: Verification and Testing Valeria Bertacco
Codul Libristo: 02152556
Editura Springer International Publishing AG, octombrie 2013
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conferenc... Descrierea completă
? points 132 b
285.96 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

amore al tempo dei social Karin Anzai Carte Carte
common.buy 45.34 lei
August und Elisabeth Macke Anna Luisa Walter / Carte Carte broșată
common.buy 178.47 lei
CONCERTI PER VL., ARCHI E B.C.: IN MI RV 267 VIOLON ANTONIO VIVALDI Carte binding.
common.buy 131.14 lei
Ściąga liceum, technikum Część 1 Antyk, Średniowiecze, Renesans, Barok, Oświecenie Zespół redakcyjny Wydawnictwa Greg / Carte Carte broșată
common.buy 20.84 lei
Wanderer zwischen Musik, Politik und Recht Becker / Carte Copertă tare
common.buy 635.22 lei
Gachiakuta. Крутые отбросы. Том 2 / Carte Copertă tare
common.buy 141.78 lei
Smradľavý útok Grázlika Gaba Francesca Simon / Carte Carte broșată
common.buy 31.47 lei
Ajedrez hipermoderno. Vol. I Ricardo Aguilera López / Carte Carte broșată
common.buy 59.73 lei
Les Meilleures Recettes Vegetariennes Du Monde Entier M. Ballero / Carte Carte broșată
common.buy 50.35 lei
hombre y el zorro Idries Shah / Carte Carte broșată
common.buy 54.93 lei
Eveliina von Waisin etiaiset Anneli Alatalo / Carte Carte broșată
common.buy 134.37 lei
Wupp geht um Martina Temming / Carte Carte broșată
common.buy 50.35 lei
Der Realitätenkellner Werner A. Leeb / Carte Carte broșată
common.buy 204.75 lei
Flottentelematik fur Transportdienstleister - E-Business-Loesung fur kleinst- bis mittlere Transport-Unternehmen Rüdiger Quietzsch / Carte Carte broșată
common.buy 262.71 lei
Tagbuch einer Reise in Inner-Arabien Julius Euting / Carte Carte broșată
common.buy 173.68 lei

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction, and model presentation.

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 Hardware and Software: Verification and Testing
Autor Valeria Bertacco, Axel Legay
Limba engleză
Legare Carte - Carte broșată
Data publicării 2013
Număr pagini 366
EAN 9783319030760
ISBN 3319030760
Codul Libristo 02152556
Editura Springer International Publishing AG
Greutatea 593
Dimensiuni 155 x 235 x 22

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer hardware > Network hardware
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

Drought Stress Tolerance in Plants, Vol 1 Hossain Mohammad Anwar / Carte Copertă tare
common.buy 854.78 lei
Handbook of Power Management Circuits Haruo Kobayashi / Carte Copertă tare
common.buy 1 349.78 lei
Biotechnology and the Challenge of Property NWABUEZE / Carte Carte broșată
common.buy 424.62 lei
Air Travel Claims in Australia and New Zealand Gary N Heilbronn / Carte Carte broșată
common.buy 122.49 lei
Rust + Moth: Winter 2017 Rust and Moth / Carte Carte broșată
common.buy 42.32 lei
Advances in Power Quality Jeremy Giamatti / Carte Copertă tare
common.buy 391.05 lei
Get Over Yourself! Jennifer Beckham / Carte Carte broșată
common.buy 92.67 lei
Protein Translation Eric Jan / Carte Carte broșată
common.buy 349.97 lei
Methods and Data in English Historical Dialectology Marina Dossena / Carte Carte broșată
common.buy 681.92 lei
Nginx Essentials Valery Kholodkov / Carte Carte broșată
common.buy 221.43 lei
Systematic Approach to Curriculum Planning Chipo Chirimuuta / Carte Carte broșată
common.buy 292.43 lei
Heartwood James Lee Burke / Carte Carte broșată
common.buy 66.40 lei
Solar Cells and Energy Materials Takeo Oku / Carte Copertă tare
common.buy 549.52 lei
Physical and Inorganic Chemistry J. Barthel / Carte Carte broșată
common.buy 570.37 lei
History and Biography T. C. W. BlanningDavid Cannadine / Carte Copertă tare
common.buy 700.38 lei
Cooking With Healing Mushrooms Stepfanie Romine / E-book Adobe ePub DRM
common.buy 70.78 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?