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: 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 €

Madonnengrab Walter M. Dobrow

Broschur

12.50 €

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

Broschur

14.19 €

Erbverbruderungen zwischen den Hausern Sachsen und Hessen Edgar Loening

Broschur

16.90 €

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

Broschur

33.59 €

Gesammelte Werke Alexander Von Humboldt

Broschur

25.90 €

Zebřičky Miroslav Příhoda

Broschur

6.39 €

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

Hardcover

33.49 €

Aramizda Robot Var Bertie Fraser

Broschur

14.69 €

EinFach Deutsch Unterrichtsmodelle Josef Schnell

Broschur

40.29 €

Anvisning Till Islandskan Eller Nordiska Fornspraket Rasmus Rask

Broschur

25.69 €

Gute Nacht, Punpun 08. Bd.8 Inio Asano

Broschur

8.00 €

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 €

FROZEN Disney Enterprises

Hardcover

22.29 €

Das Wesen Der Freien Christlichen Kirche (1847) Johannes Ronge

Hardcover

36.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