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.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: 41.89 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

103 b

41.89 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Un bosque ciudad Maribel Lechuga González

Broschur

7.69 €

Zebřičky Miroslav Příhoda

Broschur

5.59 €

Autobiografía G. K. Chesterton

Broschur

19.89 €

My 21st Century Symphony (Live at the Royal Albert RAYE w/ The Heritage Orchestra

Audio CD

25.99 €

Estrategias Y Figuraciones de Lo Insolito En La Narrativa Mexicana (Siglos XIX-XXI) Javier Ordiz

Broschur

52.99 €

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

Broschur

27.99 €

Erbverbruderungen zwischen den Hausern Sachsen und Hessen Edgar Loening

Broschur

16.90 €

Gesammelte Werke Alexander Von Humboldt

Broschur

25.90 €

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

Hardcover

25.29 €

Aramizda Robot Var Bertie Fraser

Broschur

12.49 €

EinFach Deutsch Unterrichtsmodelle Josef Schnell

Broschur

32.99 €

Madonnengrab Walter M. Dobrow

Broschur

12.50 €

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

Broschur

11.49 €

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

Broschur

17.59 €

Gute Nacht, Punpun 08. Bd.8 Inio Asano

Broschur

8.00 €

Zunftzeichen Schulze Media GmbH

Blatt

7.99 €

DEFI INSTITUTO FRANCES 2. LIVRE DE L'ELEVE VVAA

Buch

19.79 €

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

Noten

44.19 €

Cruelty To Animals Le Jeune Durhin

Hardcover

19.39 €

El pais de Too / The Land of Too RODRIGO REY ROSA

Broschur

16.89 €

Das Wesen Der Freien Christlichen Kirche (1847) Johannes Ronge

Hardcover

29.89 €

Anvisning Till Islandskan Eller Nordiska Fornspraket Rasmus Rask

Broschur

19.59 €

Paragon Expedition (Japanese) Dentamarin Wongyaofa

Broschur

7.89 €

Elements Du Code Napoleon, Expose Par Demandes Et Par Reponses PICOT-C

Broschur

20.59 €

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