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
Dragi clienți, Vă informăm că, din motive tehnice, asistența noastră telefonică va fi indisponibilă în data de 22.10.2026 și în perioada 26.10 – 30.10.2026. Ne cerem scuze pentru neplăcerile create și vă mulțumim pentru înțelegere. Cu stimă,

Hardware and Software: Verification and Testing

5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Limba englezăengleză
Carte Carte broșată
Carte Hardware and Software: Verification and Testing Kedar Namjoshi
Codul Libristo: 01657444
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, februarie 2011
This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verifi... Descrierea completă
? points 152 b
334.32 lei
În depozitul extern Expediem în 9-13 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Praparationsmethodik in Der Elektronenmikroskopie David G. Robinson / Carte Carte broșată
common.buy 422.90 lei
Denkriesen - Stadt Land Vollpfosten® - School Edition Ricardo Barreto / Joc / Jucărie Joc
common.buy 72.49 lei
Die grundlegende Lesefertigkeit trainieren Kerstin Löffelsender / Carte Foaie
common.buy 170.12 lei
Methoden zur Bewertung von Kraftfahrzeugscheinwerfern Thomas Dahlem / Carte Carte broșată
common.buy 311.49 lei
A Paranormal Evening With The Moonflower Society Avantasia / Audio Audio CD
common.buy 532.60 lei
Receuil général des anciennes lois françaises, depuis l'an 420 jusqu' à la révolution de 1791 Isambert / Carte Copertă tare
common.buy 450.63 lei
Novelas Cortas para Aprender Griego Adonis Demetriou / Carte Carte broșată
common.buy 60.02 lei
Souvenirs Atlantiques: Voyage Aux États-Unis Et Au Canada; Volume 1 Theodore Marie Pavie / Carte Copertă tare
common.buy 208.13 lei
Phraseologisches Übersetzungswörterbuch Deutsch-Serbisch/Serbisch-Deutsch Prevodni frazeoloSki recnik Nemacko-srpski/Srpsko-nemacki Nikola Vujcic / Carte Carte broșată
common.buy 359.86 lei
Au dodo, p'tit loup ! Lallemand / Carte Copertă tare
common.buy 118.24 lei
Poemas para barrocos Cristina Daneri Ferrari / Carte Carte broșată
common.buy 90.58 lei
Mein Zweisprachiges Aufdeckspiel, Obst und Gemüse, Russisch Tolga Celik / Joc / Jucărie Joc
common.buy 76.91 lei
Handbuch Dieselmotoren im Kraftwerks- und Schiffsbetrieb Günter Mau / Carte Carte broșată
common.buy 458.80 lei
Wie Der Staat Trauert Stefanie Hammer / Carte Carte broșată
common.buy 216.78 lei
Je zygota lidskou osobou? Pascal Ide / Carte Carte broșată
common.buy 41.11 lei
Manual popular de gimnasia de sala Esteban Sánchez de Ocaña / Carte Carte broșată
common.buy 63.54 lei

This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing).

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 Kedar Namjoshi, Andreas Zeller, Avi Ziv
Limba engleză
Legare Carte - Carte broșată
Data publicării 2011
Număr pagini 169
EAN 9783642192364
ISBN 364219236X
Codul Libristo 01657444
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 273
Dimensiuni 155 x 235 x 15

Categorii

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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 > Computer architecture & logic design
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

Enabling Flexibility in Process-Aware Information Systems Manfred Reichert / Carte Copertă tare
common.buy 289.27 lei
Advanced Mobile Robotics Daeeun Kim / Carte Carte broșată
common.buy 502.33 lei
Misadventures with My Roommate Elizabeth Hayley / Carte Carte broșată
common.buy 70.08 lei
Diabolically Detailed Coloring Book (Volume 10) H R Wallace Publishing / Carte Carte broșată
common.buy 49.46 lei
Hints to an Inquirer on the Subject of Baptism PARSONS COOKE / Carte Carte broșată
common.buy 122.44 lei
Ministry of Fine Art to the Happiness of Life Parry Thomas Gambier Parry / Carte Carte broșată
common.buy 155.84 lei
Top
Power Of Your Subconscious Mind (revised) Joseph Murphy/ Revised By Ian McMahan / Carte Carte broșată
common.buy 55.39 lei
Alkaline Smoothies Sheldon Miller / Carte Carte broșată
common.buy 100.44 lei
Top
Dracopedia Field Guide William O'Connor / Carte Copertă tare
common.buy 129.90 lei
Slumber Party Sparkles Jojo Siwa / Carte Carte broșată
common.buy 36.49 lei
Exploring Public-Private Partnerships in Singapore Kim / Carte Copertă tare
common.buy 541.65 lei
Seven Imperfect Rules of Elvira Carr Frances Maynard / Carte Carte broșată
common.buy 67.06 lei
Historical And Literary Memorials Of The City Of London V1 (1901) John Heneage Jesse / Carte Carte broșată
common.buy 235.17 lei
The Patchouli in perfumery Le collectif nez / Carte Carte broșată
common.buy 109.69 lei
Integration with Complex Numbers McMaster / Carte Carte broșată
common.buy 280.73 lei
Top
Brain Games - Sticker by Number - Vintage: Flowers (28 Images to Sticker) New Seasons / Carte Carte broșată
common.buy 76.71 lei
Top
Powerless Lauren Roberts / Carte Carte broșată
common.buy 51.87 lei
Ultimate Guide to Sewing Machine Feet Shelley Scott-Tobisch / Carte Carte broșată
common.buy 121.35 lei
Exploring Sinophone Liminality in Contemporary Chinese Fiction Chao / Carte Copertă tare
common.buy 1 394.61 lei
Prayers Written At Vailima Fanny Van De Grift Stevenson / Carte Carte broșată
common.buy 83.55 lei
The Presence of Elephants Paul G. Keil / Carte Carte broșată
common.buy 393.44 lei
I Want a Boyfriend! Tony Ross / Carte Carte broșată
common.buy 43.73 lei
Go Programming Language, The Alan Donovan / Carte Carte broșată
common.buy 225.92 lei
Charlie's Monsters Dean Lorey / Carte Carte broșată
common.buy 70.37 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?