Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Hardware and Software: Verification and Testing

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Hardware and Software: Verification and Testing Roderick Bloem
Libristo kód: 15194770
Nakladatelství Springer International Publishing AG, listopad 2016
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conferen... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

As designacoes toponimicas em Terras do sem fim, de Jorge Amado Ribeiro De Queiroz Rita De Cassia / Kniha Brožovaná
common.buy 489 Kč
Připravujeme
Le sexe polémique - Quand la paranoïa s'empare des campus américains Kipnis / Kniha Brožovaná
common.buy 667 Kč
żQué es la ilustración? / What is Enlightenment? Immanuel Kant / Kniha Brožovaná
common.buy 392 Kč
Mustangs Bousquet / Kniha Brožovaná
common.buy 413 Kč
Algebre N. Bourbaki / Kniha Brožovaná
common.buy 1 352 Kč
Pilates Anatomie Rael Isacowitz / Kniha Brožovaná
common.buy 532 Kč
Gottfried Achenwall, Ius naturae in usum auditorum Alexander Aichele / Kniha Pevná
common.buy 6 417 Kč
Un bateau pour l'enfer Gilbert Sinoué / Kniha Brožovaná
common.buy 302 Kč
Cahier d'exercices Pose tes limites, trouve la paix Nedra Glover Tawwab / Kniha Brožovaná
common.buy 555 Kč
Comunicación oral y escrita en la empresa Ricardo Herrero Domingo / Kniha Brožovaná
common.buy 354 Kč
Passiflora Bettina Ulmer / Kniha Brožovaná
common.buy 307 Kč
Wprowadzenie do siatki Bhasker Dr Rajnish Bhasker / Kniha Brožovaná
common.buy 813 Kč
Els Nostres Disla Sanz / Kniha Brožovaná
common.buy 376 Kč
Ab durch die Hecke, 1 DVD Tim Johnson / Video DVD
common.buy 283 Kč
Lektury - liceum i technikum -epika Sylwia Oszczyk / Kniha Brožovaná
common.buy 423 Kč
Mosaik Sammelband - Die Fahrt nach Karnak Klaus D. Schleiter / Kniha Brožovaná
common.buy 382 Kč
Beitrage Zur Feineren Anatomie Der Medulla Oblongata Und Der Brucke (1894) August Cramer / Kniha Brožovaná
common.buy 511 Kč
Ofertas gastronómicas sencillas y sistemas de aprovisionamiento : gestión de modelos de restauración Irene Magdalena Fernández / Kniha Brožovaná
common.buy 641 Kč
Técnico en Farmacia del Servicio Andaluz de Salud. Temario específico. Editores / Kniha Brožovaná
common.buy 1 171 Kč
Friedrich Schiller Peter-André Alt / Kniha Brožovaná
common.buy 238 Kč
Echo Terry Moore / Kniha Brožovaná
common.buy 365 Kč
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 / Kniha Pevná
common.buy 924 Kč
Pronostic Et Traitement de l'Epilepsie, Succes Remarquables LEGRAND DU SAULLE-H / Kniha Brožovaná
common.buy 315 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Hardware and Software: Verification and Testing
Autor Roderick Bloem, Eli Arbel
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2016
Počet stran 211
EAN 9783319490519
ISBN 3319490516
Libristo kód 15194770
Nakladatelství Springer International Publishing AG
Váha 3518
Rozměry 155 x 235 x 14

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Functionalization of CVD Graphene via electro-grafting for gas sensor Ghufran ur Rehman / Kniha Brožovaná
common.buy 1 014 Kč
Only the People Can Save the People Donald V. Kingsbury / Kniha Brožovaná
common.buy 869 Kč
The Last Town on Earth Thomas Mullen / Kniha Brožovaná
common.buy 318 Kč
Student Solutions Manual to accompany Functions Modeling Change Eric Connally / Kniha Brožovaná
common.buy 1 995 Kč
The New Healthy Bread in Five Minutes a Day: Revised and Updated with New Recipes Jeff Hertzberg / Kniha Pevná
common.buy 678 Kč
Thinline Bible-OE-Personal Size Kjver Whitaker House / Kniha Kniha
common.buy 919 Kč
Nola the Nurse(R) & Friends Explore the Holi Fest Dr. Scharmaine L. Baker / Kniha Pevná
common.buy 381 Kč
Redefining Capitalism in Global Economic Development Kui-Wai Li / Kniha Brožovaná
common.buy 1 253 Kč
Greyhound Nation Edmund Russell / Kniha Brožovaná
common.buy 813 Kč
Narcocultura: A Threat to Mexican National Security Naval Postgraduate School / Kniha Brožovaná
common.buy 339 Kč
Let's Pretend Chefs Kitchen Roger Priddy / Kniha Pevná
common.buy 337 Kč
Tale of Two Cities Charles Dickens / Kniha Brožovaná
common.buy 197 Kč
The Extraordinary Makeover: Hidden Expressions Of The Every Day Woman Lorie P Woodruff / Kniha Brožovaná
common.buy 359 Kč
Miscreants The Hell's Gate Series Book 3 Jennifer Pierce-Gaeta / Kniha Brožovaná
common.buy 237 Kč
Staying Human Neil Astley / Kniha Brožovaná
common.buy 310 Kč
Investing for Beginners: Escape The 9-5 Rat Race Through Investing Sam Sutton / Kniha Brožovaná
common.buy 308 Kč
Evelina's Garden (1899) Mary Eleanor Wilkins / Kniha Pevná
common.buy 858 Kč
The Prophets Robert Jones Jr. / Kniha Brožovaná
common.buy 395 Kč
Wild Guide Andalucia EDWINA PITCHER / Kniha Brožovaná
common.buy 443 Kč
The Best American Poetry 2022 Matthew Zapruder / Kniha Brožovaná
common.buy 359 Kč
First Steps in SDL Game Development Frahaan Hussain / Kniha Brožovaná
common.buy 642 Kč
BTS ZAMBELLO FILIPPO / Kniha Pevná
common.buy 317 Kč
Nové
Henry VI, Part II William Shakespeare / Kniha Brožovaná
common.buy 197 Kč
Dictionary Of The Choctaw Language Cyrus Byington / Kniha Brožovaná
common.buy 952 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?