Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Hardware and Software: Verification and Testing

Name: Hardware and Software: Verification and Testing
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01569878
Price: 60.39 EUR
Availability: InStock
Author: Karen Yorav
ISBN: 9783540779643

Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings

Karen Yorav

Sprache

Englisch

Buch Broschur

Libristo-Code: 01569878

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Februar 2008

This book constitutes the thoroughly refereed post-conference proceedings of the Third International... Vollständige Beschreibung

Libristo-Code: 01569878

148 b

60.39 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

La esforzada reelaboración del saber : repertorios médicos de interés lexicográfico anteriores a la imprenta Bertha M. Gutiérrez Rodilla

Broschur

27.29 €

Espacio público y espacio privado

Broschur

23.39 €

Trois Livres Des Offices de France. Livre 3 Girard-E

Broschur

61.89 €

Ostwind 06 - Der große Orkan Lea Schmidbauer

Hardcover

14.99 €

amerikanische Kino in Zeiten politischer Verfolgung Viktor Gasic

Broschur

27.95 €

Пятнадцатилетний капитан Жюль Верн

Broschur

9.29 €

Žiješ jenom dvakrát Dominik Dán

Hardcover

12.99 €

Diktat-Stars - Allgemeine Ausgabe - 3. Schuljahr Maria Auer

Blatt

9.19 €

Augenblicke des Daseins. Autobiographische Skizzen Virginia Woolf

Hardcover

26.00 €

Au nom de tous nos dieux Deloges

Broschur

25.39 €

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Haifa Verification Conference, HVC 2007, held in Haifa, Israel, in October 2007.§The 15 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 32 submissions. The papers are organized in topical tracks on hardware verification, model checking, dynamic hardware verification, merging formal and testing, formal verification for software and software testing.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Hardware and Software: Verification and Testing

Autor Karen Yorav

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2008

Anzahl der Seiten 267

EAN 9783540779643

ISBN 3540779647

Libristo-Code 01569878

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 444

Abmessungen 155 x 235 x 240

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert