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

11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Hardware and Software: Verification and Testing Nir Piterman
Codul Libristo: 09925334
Editura Springer International Publishing AG, octombrie 2015
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conferen... Descrierea completă
? points 126 b
274.60 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Psychologia Kluczowe koncepcje Tom 1 Podstawy psychologii Zimbardo Philip / Carte Carte broșată
common.buy 101.12 lei
Sticker-Anziehpuppen Ballerina Eva Schindler / Carte Carte broșată
common.buy 43.15 lei
Skopje / Carte Carte broșată
common.buy 65.57 lei
Slor Eivor / Audio Audio CD
common.buy 104.24 lei
Porsche Speedster, m. 1 DVD Philipp Novak / Carte Copertă tare
common.buy 94.24 lei
40 Baby Meilenstein-Karten für das 1. Lebensjahr für Mädchen und Junge. Baby Milestone Cards deutsch, zur Erinnerung der Entwicklung der ersten Monate Sophie Heisenberg / Carte Carte broșată
common.buy 49.72 lei

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; veri cation of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain veri cation; synthesis.

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 Nir Piterman
Limba engleză
Legare Carte - Carte broșată
Data publicării 2015
Număr pagini 293
EAN 9783319262864
ISBN 3319262866
Codul Libristo 09925334
Editura Springer International Publishing AG
Greutatea 4745
Dimensiuni 155 x 235 x 15

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

Top
Hidden Treasures in the Book of Job - How the Oldest Book in the Bible Answers Today`s Scientific Questions Hugh Ross / Carte Carte broșată
common.buy 87.88 lei
Student's Guide to the Schroedinger Equation Daniel A. Fleisch / Carte Carte broșată
common.buy 163.46 lei
Top
Mine Till Midnight Lisa Kleypas / Carte Carte broșată
common.buy 46.70 lei
The Gift Richard Paul Evans / Audio Audio CD
common.buy 84.23 lei
Designing Bots: Creating Conversational Experiences Amir Shevat / Carte Carte broșată
common.buy 149.60 lei
Top
Hacker's Delight Henry Warren / Carte Copertă tare
common.buy 305.46 lei
Oxford First Dictionary Oxford Dictionaries / Carte Copertă tare
common.buy 99.03 lei
Florentine and the Treasures of the Snow Herb Stine / Carte Carte broșată
common.buy 58.37 lei
Little Children's Pirate Activity Book Rebecca Gilpin / Carte Carte broșată
common.buy 62.96 lei
Wheat Belly (Revised and Expanded Edition) William Davis / Carte Carte broșată
common.buy 87.88 lei
Chaos Dan Piepenbring / Carte Carte broșată
common.buy 58.79 lei
Top
Monster in His Eyes J M Darhower / Carte Carte broșată
common.buy 72.03 lei
Otaku Food! Danielle Baghernejad / Carte Carte broșată
common.buy 133.33 lei
Top
Girl and the Goddess Nikita Gill / Carte Copertă tare
common.buy 77.97 lei
Top
Hands Down Mariana Zapata / Carte Carte broșată
common.buy 106.54 lei
Dead Mount Death Play, Vol. 5 Ryohgo Narita / Carte Carte broșată
common.buy 59.52 lei
Top
Our Not-So-Lonely Planet Travel Guide, Volume 1 Mone Sorai / Carte Carte broșată
common.buy 58.37 lei
Principios Cooperativistas Na Percepcao DOS Associados JACIARA XAV RIBEIRO / Carte Carte broșată
common.buy 381.04 lei
Top
Peak Performance Table Tennis Kevin Finn / Carte Carte broșată
common.buy 96.22 lei
Refractory Materials Faraday Society / Carte Carte broșată
common.buy 116.96 lei
Statistics for the Trading Floor: Data Science for Investing Patrick Boyle / Carte Carte broșată
common.buy 146.57 lei
Fairy and Fantasy Grayscale Coloring Book Christine Karron / Carte Carte broșată
common.buy 81.62 lei
Top
The 100 Kass Morgan / Carte Carte broșată
common.buy 58.79 lei
Top
In Search of Lost Time: Volume 2 Marcel Proust / Carte Carte broșată
common.buy 60.98 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?