Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Hardware and Software: Verification and Testing

Name: Hardware and Software: Verification and Testing
Brand: Springer International Publishing AG
SKU: 02152556
Price: 51.75 EUR
Availability: InStock
Author: Valeria Bertacco
ISBN: 9783319030760

9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Valeria Bertacco

Axel Legay

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 02152556

Uitgeverij Springer International Publishing AG, oktober 2013

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conferenc... Volledige beschrijving

Libristo-code: 02152556

125 b

51.75 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

amore al tempo dei social Karin Anzai Boek

Boek

8.60 €

August und Elisabeth Macke Anna Luisa Walter

Gebonden (paperback)

32.00 €

CONCERTI PER VL., ARCHI E B.C.: IN MI RV 267 VIOLON ANTONIO VIVALDI Boek

binding.

25.01 €

Ściąga liceum, technikum Część 1 Antyk, Średniowiecze, Renesans, Barok, Oświecenie Zespół redakcyjny Wydawnictwa Greg

Gebonden (paperback)

3.94 €

Wanderer zwischen Musik, Politik und Recht Becker

Gebonden (harde band)

127.10 €

Gachiakuta. Крутые отбросы. Том 2

Gebonden (harde band)

28.55 €

Smradľavý útok Grázlika Gaba Francesca Simon

Gebonden (paperback)

5.97 €

Ajedrez hipermoderno. Vol. I Ricardo Aguilera López

Gebonden (paperback)

11.33 €

Les Meilleures Recettes Vegetariennes Du Monde Entier M. Ballero

Gebonden (paperback)

9.61 €

hombre y el zorro Idries Shah

Gebonden (paperback)

9.81 €

Eveliina von Waisin etiaiset Anneli Alatalo

Gebonden (paperback)

24.20 €

Wupp geht um Martina Temming

Gebonden (paperback)

9.00 €

Der Realitätenkellner Werner A. Leeb

Gebonden (paperback)

36.96 €

Flottentelematik fur Transportdienstleister - E-Business-Loesung fur kleinst- bis mittlere Transport-Unternehmen Rüdiger Quietzsch

Gebonden (paperback)

47.29 €

Tagbuch einer Reise in Inner-Arabien Julius Euting

Gebonden (paperback)

31.29 €

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction, and model presentation.

Actrice & Polyglot

EWA KASP voor

Video afspelen

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 Valeria Bertacco, Axel Legay

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2013

Aantal pagina's 366

EAN 9783319030760

ISBN 3319030760

Libristo-code 02152556

Uitgeverij Springer International Publishing AG

Gewicht 593

Afmetingen 155 x 235 x 22

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