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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

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: 01662393
Price: 49.49 EUR
Availability: InStock
Author: Kerstin Eder
ISBN: 9783642341878

7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

Kerstin Eder

Onn Shehory

Sprache

Englisch

Buch Broschur

Libristo-Code: 01662393

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Oktober 2012

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

Libristo-Code: 01662393

121 b

49.49 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Un bosque ciudad Maribel Lechuga González

Broschur

9.99 €

Confronto tra forza e resistenza della presa tra violinisti e non violinisti Anushree Narekuli

Broschur

33.59 €

Aramizda Robot Var Bertie Fraser

Broschur

14.69 €

Das Wesen Der Freien Christlichen Kirche (1847) Johannes Ronge

Hardcover

36.69 €

EinFach Deutsch Unterrichtsmodelle Josef Schnell

Broschur

40.29 €

Madonnengrab Walter M. Dobrow

Broschur

12.50 €

Con gli occhi di Caravaggio. Napoli, 1606-1610 Francesco De Core

Hardcover

33.49 €

Itinerari francescani. Visita ai luoghi dove visse san Francesco Fernando Uribe

Broschur

23.29 €

Zunftzeichen Schulze Media GmbH

Blatt

8.79 €

DEFI INSTITUTO FRANCES 2. LIVRE DE L'ELEVE VVAA

Buch

25.69 €

100 PROGRESSIVE STUDIES WITHOUT OCTAVES OP. 139 PIANO MARTIN FREY Drucksachen

Noten

56.29 €

Anvisning Till Islandskan Eller Nordiska Fornspraket Rasmus Rask

Broschur

25.69 €

FROZEN Disney Enterprises

Hardcover

22.29 €

Gute Nacht, Punpun 08. Bd.8 Inio Asano

Broschur

8.00 €

Zebřičky Miroslav Příhoda

Broschur

6.79 €

Gesammelte Werke Alexander Von Humboldt

Broschur

25.90 €

Erbverbruderungen zwischen den Hausern Sachsen und Hessen Edgar Loening

Broschur

16.90 €

Formule d'Un Traite d'Arbitrage Entre Nations Charles Lemonnier

Broschur

14.19 €

Autobiografía G. K. Chesterton

Broschur

23.69 €

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. §The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.

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 Kerstin Eder, Jo, Onn Shehory

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2012

Anzahl der Seiten 263

EAN 9783642341878

ISBN 364234187X

Libristo-Code 01662393

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

Gewicht 427

Abmessungen 155 x 235 x 16

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

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

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

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