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 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

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: 01657444
Price: 55.7 EUR
Availability: InStock
Author: Kedar Namjoshi
ISBN: 9783642192364

5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Kedar Namjoshi

Andreas Zeller

Avi Ziv

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01657444

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

This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verifi... Celý popis

Libristo kód: 01657444

136 b

55.70 €

Skladom u dodávateľa Odosielame za 14-21 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Praparationsmethodik in Der Elektronenmikroskopie David G. Robinson

Brožovaná

74.90 €

Receuil général des anciennes lois françaises, depuis l'an 420 jusqu' à la révolution de 1791 Isambert

Pevná

79.53 €

Poemas para barrocos Cristina Daneri Ferrari

Brožovaná

16.98 €

Denkriesen - Stadt Land Vollpfosten® - School Edition Ricardo Barreto

Hra

12.86 €

Die grundlegende Lesefertigkeit trainieren Kerstin Löffelsender

List

30.06 €

Methoden zur Bewertung von Kraftfahrzeugscheinwerfern Thomas Dahlem

Brožovaná

58.21 €

A Paranormal Evening With The Moonflower Society Avantasia

Audio CD

95.01 €

Novelas Cortas para Aprender Griego Adonis Demetriou

Brožovaná

9.84 €

Phraseologisches Übersetzungswörterbuch Deutsch-Serbisch/Serbisch-Deutsch Prevodni frazeoloSki recnik Nemacko-srpski/Srpsko-nemacki Nikola Vujcic

Brožovaná

63.74 €

Au dodo, p'tit loup ! Lallemand

Pevná

22.21 €

Manual popular de gimnasia de sala Esteban Sánchez de Ocaña

Brožovaná

11.86 €

Souvenirs Atlantiques: Voyage Aux États-Unis Et Au Canada; Volume 1 Theodore Marie Pavie

Pevná

34.38 €

Je zygota lidskou osobou? Pascal Ide

Brožovaná

6.12 €

Wie Der Staat Trauert Stefanie Hammer

Brožovaná

38.40 €

Mein Zweisprachiges Aufdeckspiel, Obst und Gemüse, Russisch Tolga Celik

Hra

14.37 €

Kleines Adventsbuch - Schöne Bescherung Susan Niessen

Kalendár

6.73 €

Handbuch Dieselmotoren im Kraftwerks- und Schiffsbetrieb Günter Mau

Brožovaná

81.34 €

This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing).