Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 3.49 € Kuriér GLS 4.49 € Zberné miesto GLS 2.99 € SPS 4.49 € SPS Parcel Shop 3.49 € Packeta kurýr 4.49 € Slovenská pošta 4.49 € Zberné miesto DPD 3.49 € Packeta 3.49 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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: 57.25 EUR
Availability: InStock
Author: Karen Yorav
ISBN: 9783540779643

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

Karen Yorav

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01569878

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, február 2008

This book constitutes the thoroughly refereed post-conference proceedings of the Third International... Celý popis

Libristo kód: 01569878

139 b

57.25 €

Skladom u dodávateľa Odosielame za 9-13 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Au nom de tous nos dieux Deloges

Brožovaná

23.14 €

Verhaltnis der Irrtumsanfechtung zur Mangelruge nach Schweizer Recht Andreas Ernst

Brožovaná

16.10 €

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

List

8.85 €

Fluch des Wolfes Patricia Briggs

Brožovaná

9.05 €

Rechtsnormanerkennung im Binnenmarkt. Thomas C. W. Beyer

Brožovaná

94.79 €

Fonction G.R.H, Vecteur de Modernisation de la Gestion Publique Rachid-A

Brožovaná

31.99 €

Augenblicke des Daseins. Autobiographische Skizzen Virginia Woolf

Pevná

22.43 €

Weise Tierseelen als heilsame Begleiter Elke Söllner

Brožovaná

17.90 €

Valójában remekül Monica Heisey

Brožovaná

12.17 €

Le Chemin Alberto Lemos de Oliveira

Brožovaná

12.17 €

Gegen die Flut der Siegergeschichte Raffael Schneider

Adobe ePub DRM

33.00 €

Žiješ jenom dvakrát Dominik Dán

Pevná

9.15 €

amerikanische Kino in Zeiten politischer Verfolgung Viktor Gasic

Brožovaná

24.96 €

LA CASA DE ATREO S. XXI SALOMON BOLCHENKO

Brožovaná

11.97 €

ORIENTATION COMMENT CONSTRUIRE Anne-Hélène Cornec

Brožovaná

7.74 €

As Financas Do Manifesto: Reputacao (1898) Nacional Pu Imprensa Nacional Publisher

Brožovaná

20.62 €

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

Brožovaná

54.23 €

Ostwind 06 - Der große Orkan Lea Schmidbauer

Pevná

13.07 €

Causes Celebres Jean Paulhan

Brožovaná

4.32 €

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

Brožovaná

26.26 €

Espacio público y espacio privado

Brožovaná

22.33 €

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.