Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Hardware and Software: Verification and Testing

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Hardware and Software: Verification and Testing Roderick Bloem
Libristo-code: 15194770
Uitgeverij Springer International Publishing AG, november 2016
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conferen... Volledige beschrijving
? points 125 b
51.75 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

As designacoes toponimicas em Terras do sem fim, de Jorge Amado Ribeiro De Queiroz Rita De Cassia / Boek Gebonden (paperback)
common.buy 21.46 €
Wordt verwacht
Le sexe polémique - Quand la paranoïa s'empare des campus américains Kipnis / Boek Gebonden (paperback)
common.buy 27.64 €
żQué es la ilustración? / What is Enlightenment? Immanuel Kant / Boek Gebonden (paperback)
common.buy 16.20 €
Mustangs Bousquet / Boek Gebonden (paperback)
common.buy 17.11 €
Algebre N. Bourbaki / Boek Gebonden (paperback)
common.buy 61.16 €
Pilates Anatomie Rael Isacowitz / Boek Gebonden (paperback)
common.buy 23.39 €
Gottfried Achenwall, Ius naturae in usum auditorum Alexander Aichele / Boek Gebonden (harde band)
common.buy 278.62 €
Un bateau pour l'enfer Gilbert Sinoué / Boek Gebonden (paperback)
common.buy 12.45 €
Cahier d'exercices Pose tes limites, trouve la paix Nedra Glover Tawwab / Boek Gebonden (paperback)
common.buy 22.98 €
Comunicación oral y escrita en la empresa Ricardo Herrero Domingo / Boek Gebonden (paperback)
common.buy 14.68 €
Passiflora Bettina Ulmer / Boek Gebonden (paperback)
common.buy 13.56 €
Wprowadzenie do siatki Bhasker Dr Rajnish Bhasker / Boek Gebonden (paperback)
common.buy 35.74 €
Els Nostres Disla Sanz / Boek Gebonden (paperback)
common.buy 15.59 €
Ab durch die Hecke, 1 DVD Tim Johnson / Video Dvd
common.buy 12.24 €
Lektury - liceum i technikum -epika Sylwia Oszczyk / Boek Gebonden (paperback)
common.buy 17.51 €
Mosaik Sammelband - Die Fahrt nach Karnak Klaus D. Schleiter / Boek Gebonden (paperback)
common.buy 16.70 €
Beitrage Zur Feineren Anatomie Der Medulla Oblongata Und Der Brucke (1894) August Cramer / Boek Gebonden (paperback)
common.buy 22.17 €
Ofertas gastronómicas sencillas y sistemas de aprovisionamiento : gestión de modelos de restauración Irene Magdalena Fernández / Boek Gebonden (paperback)
common.buy 27.94 €
Técnico en Farmacia del Servicio Andaluz de Salud. Temario específico. Editores / Boek Gebonden (paperback)
common.buy 48.40 €
Friedrich Schiller Peter-André Alt / Boek Gebonden (paperback)
common.buy 10.42 €
Echo Terry Moore / Boek Gebonden (paperback)
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 / Boek Gebonden (harde band)
common.buy 40.20 €
Pronostic Et Traitement de l'Epilepsie, Succes Remarquables LEGRAND DU SAULLE-H / Boek Gebonden (paperback)
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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Hardware and Software: Verification and Testing
Auteur Roderick Bloem, Eli Arbel
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2016
Aantal pagina's 211
EAN 9783319490519
ISBN 3319490516
Libristo-code 15194770
Uitgeverij Springer International Publishing AG
Gewicht 3518
Afmetingen 155 x 235 x 14

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Computer hardware > Netwerkhardware
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

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

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?