Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Hardware and Software: Verification and Testing

12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Hardware and Software: Verification and Testing Roderick Bloem
Libristo kod: 15194770
Nakladnici Springer International Publishing AG, studeni 2016
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conferen... Cijeli opis
? points 125 b
51.75 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

As designacoes toponimicas em Terras do sem fim, de Jorge Amado Ribeiro De Queiroz Rita De Cassia / Knjiga Meki uvez
common.buy 21.46 €
Pripremamo
Le sexe polémique - Quand la paranoïa s'empare des campus américains Kipnis / Knjiga Meki uvez
common.buy 26.42 €
żQué es la ilustración? / What is Enlightenment? Immanuel Kant / Knjiga Meki uvez
common.buy 15.39 €
Mustangs Bousquet / Knjiga Meki uvez
common.buy 16.30 €
Algebre N. Bourbaki / Knjiga Meki uvez
common.buy 55.90 €
Pilates Anatomie Rael Isacowitz / Knjiga Meki uvez
common.buy 23.39 €
Gottfried Achenwall, Ius naturae in usum auditorum Alexander Aichele / Knjiga Tvrdi uvez
common.buy 252.49 €
Un bateau pour l'enfer Gilbert Sinoué / Knjiga Meki uvez
common.buy 11.94 €
Cahier d'exercices Pose tes limites, trouve la paix Nedra Glover Tawwab / Knjiga Meki uvez
common.buy 21.97 €
Comunicación oral y escrita en la empresa Ricardo Herrero Domingo / Knjiga Meki uvez
common.buy 13.97 €
Passiflora Bettina Ulmer / Knjiga Meki uvez
common.buy 13.56 €
Wprowadzenie do siatki Bhasker Dr Rajnish Bhasker / Knjiga Meki uvez
common.buy 35.74 €
Els Nostres Disla Sanz / Knjiga Meki uvez
common.buy 14.88 €
Ab durch die Hecke, 1 DVD Tim Johnson / Video DVD
common.buy 12.24 €
Lektury - liceum i technikum -epika Sylwia Oszczyk / Knjiga Meki uvez
common.buy 16.70 €
Mosaik Sammelband - Die Fahrt nach Karnak Klaus D. Schleiter / Knjiga Meki uvez
common.buy 14.98 €
Beitrage Zur Feineren Anatomie Der Medulla Oblongata Und Der Brucke (1894) August Cramer / Knjiga Meki uvez
common.buy 22.17 €
Ofertas gastronómicas sencillas y sistemas de aprovisionamiento : gestión de modelos de restauración Irene Magdalena Fernández / Knjiga Meki uvez
common.buy 26.53 €
Técnico en Farmacia del Servicio Andaluz de Salud. Temario específico. Editores / Knjiga Meki uvez
common.buy 46.48 €
Friedrich Schiller Peter-André Alt / Knjiga Meki uvez
common.buy 9.31 €
Echo Terry Moore / Knjiga Meki uvez
common.buy 16.09 €
Chronique de la régence et du r?gne de Louis 15 (1718-1763); ou, Journal de Barbier, avocat au Parlement de Paris. 1. éd. compl?te, conforme au manusc Edmond Jean Francois Barbier / Knjiga Tvrdi uvez
common.buy 40.20 €
Pronostic Et Traitement de l'Epilepsie, Succes Remarquables LEGRAND DU SAULLE-H / Knjiga Meki uvez
common.buy 13.66 €

This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Hardware and Software: Verification and Testing
Autor Roderick Bloem, Eli Arbel
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2016
Broj stranica 211
EAN 9783319490519
ISBN 3319490516
Libristo kod 15194770
Nakladnici Springer International Publishing AG
Težina 3518
Dimenzije 155 x 235 x 14

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Functionalization of CVD Graphene via electro-grafting for gas sensor Ghufran ur Rehman / Knjiga Meki uvez
common.buy 44.55 €
Only the People Can Save the People Donald V. Kingsbury / Knjiga Meki uvez
common.buy 37.87 €
The Last Town on Earth Thomas Mullen / Knjiga Meki uvez
common.buy 13.16 €
Student Solutions Manual to accompany Functions Modeling Change Eric Connally / Knjiga Meki uvez
common.buy 86.49 €
The New Healthy Bread in Five Minutes a Day: Revised and Updated with New Recipes Jeff Hertzberg / Knjiga Tvrdi uvez
common.buy 28.05 €
Thinline Bible-OE-Personal Size Kjver Whitaker House / Knjiga Knjiga
common.buy 40.30 €
Nola the Nurse(R) & Friends Explore the Holi Fest Dr. Scharmaine L. Baker / Knjiga Tvrdi uvez
common.buy 16.60 €
Redefining Capitalism in Global Economic Development Kui-Wai Li / Knjiga Meki uvez
common.buy 54.28 €
Greyhound Nation Edmund Russell / Knjiga Meki uvez
common.buy 35.24 €
Narcocultura: A Threat to Mexican National Security Naval Postgraduate School / Knjiga Meki uvez
common.buy 14.78 €
Let's Pretend Chefs Kitchen Roger Priddy / Knjiga Tvrdi uvez
common.buy 16.09 €
Tale of Two Cities Charles Dickens / Knjiga Meki uvez
common.buy 8.70 €
The Extraordinary Makeover: Hidden Expressions Of The Every Day Woman Lorie P Woodruff / Knjiga Meki uvez
common.buy 15.79 €
Miscreants The Hell's Gate Series Book 3 Jennifer Pierce-Gaeta / Knjiga Meki uvez
common.buy 10.32 €
Staying Human Neil Astley / Knjiga Meki uvez
common.buy 13.97 €
Investing for Beginners: Escape The 9-5 Rat Race Through Investing Sam Sutton / Knjiga Meki uvez
common.buy 13.36 €
Evelina's Garden (1899) Mary Eleanor Wilkins / Knjiga Tvrdi uvez
common.buy 37.36 €
The Prophets Robert Jones Jr. / Knjiga Meki uvez
common.buy 17.41 €
Wild Guide Andalucia EDWINA PITCHER / Knjiga Meki uvez
common.buy 20.96 €
The Best American Poetry 2022 Matthew Zapruder / Knjiga Meki uvez
common.buy 15.79 €
First Steps in SDL Game Development Frahaan Hussain / Knjiga Meki uvez
common.buy 27.94 €
BTS ZAMBELLO FILIPPO / Knjiga Tvrdi uvez
common.buy 14.17 €
Novo
Henry VI, Part II William Shakespeare / Knjiga Meki uvez
common.buy 8.70 €
Dictionary Of The Choctaw Language Cyrus Byington / Knjiga Meki uvez
common.buy 41.21 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?