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 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.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.73 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

135 b

55.73 €

Skladom u dodávateľa v malom množstve Odosielame za 13-18 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Praparationsmethodik in Der Elektronenmikroskopie David G. Robinson

Brožovaná

75.21 €

Methoden zur Bewertung von Kraftfahrzeugscheinwerfern Thomas Dahlem

Brožovaná

58.75 €

Segregator A4 Bantex PP XXL 8cm niebieski

binding.

2.92 €

A Paranormal Evening With The Moonflower Society Avantasia

Audio CD

95.41 €

Denkriesen - Stadt Land Vollpfosten® - School Edition Ricardo Barreto

Hra

12.91 €

Je zygota lidskou osobou? Pascal Ide

Brožovaná

5.54 €

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

Brožovaná

64.00 €

Au dodo, p'tit loup ! Lallemand

Pevná

22.41 €

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

Pevná

34.52 €

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

Hra

14.63 €

Handbuch Dieselmotoren im Kraftwerks- und Schiffsbetrieb Günter Mau

Brožovaná

81.67 €

Poemas para barrocos Cristina Daneri Ferrari

Brožovaná

17.15 €

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