Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Hardware and Software: Verification and Testing

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Hardware and Software: Verification and Testing Kedar Namjoshi
Libristo kód: 01657444
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, únor 2011
This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verifi... Celý popis
? points 135 b
1 352 Kč
Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Praparationsmethodik in Der Elektronenmikroskopie David G. Robinson / Kniha Brožovaná
common.buy 1 723 Kč
Methoden zur Bewertung von Kraftfahrzeugscheinwerfern Thomas Dahlem / Kniha Brožovaná
common.buy 1 424 Kč
Segregator A4 Bantex PP XXL 8cm niebieski / Kniha binding.
common.buy 70 Kč
A Paranormal Evening With The Moonflower Society Avantasia / Audio Audio CD
common.buy 2 205 Kč
Denkriesen - Stadt Land Vollpfosten® - School Edition Ricardo Barreto / Hra/Hračka Hra
common.buy 298 Kč
Je zygota lidskou osobou? Pascal Ide / Kniha Brožovaná
common.buy 145 Kč
Phraseologisches Übersetzungswörterbuch Deutsch-Serbisch/Serbisch-Deutsch Prevodni frazeoloSki recnik Nemacko-srpski/Srpsko-nemacki Nikola Vujcic / Kniha Brožovaná
common.buy 1 466 Kč
Au dodo, p'tit loup ! Lallemand / Kniha Pevná
common.buy 543 Kč
Souvenirs Atlantiques: Voyage Aux États-Unis Et Au Canada; Volume 1 Theodore Marie Pavie / Kniha Pevná
common.buy 837 Kč
Mein Zweisprachiges Aufdeckspiel, Obst und Gemüse, Russisch Tolga Celik / Hra/Hračka Hra
common.buy 356 Kč
Handbuch Dieselmotoren im Kraftwerks- und Schiffsbetrieb Günter Mau / Kniha Brožovaná
common.buy 1 873 Kč
Poemas para barrocos Cristina Daneri Ferrari / Kniha Brožovaná
common.buy 416 Kč

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

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Hardware and Software: Verification and Testing
Autor Kedar Namjoshi, Andreas Zeller, Avi Ziv
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2011
Počet stran 169
EAN 9783642192364
ISBN 364219236X
Libristo kód 01657444
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 273
Rozměry 155 x 235 x 15

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Enabling Flexibility in Process-Aware Information Systems Manfred Reichert / Kniha Pevná
common.buy 1 182 Kč
Exploring Public-Private Partnerships in Singapore Kim / Kniha Pevná
common.buy 1 787 Kč
Diabolically Detailed Coloring Book (Volume 10) H R Wallace Publishing / Kniha Brožovaná
common.buy 198 Kč
Seven Imperfect Rules of Elvira Carr Frances Maynard / Kniha Brožovaná
common.buy 267 Kč
Hints to an Inquirer on the Subject of Baptism PARSONS COOKE / Kniha Brožovaná
common.buy 509 Kč
Ministry of Fine Art to the Happiness of Life Parry Thomas Gambier Parry / Kniha Brožovaná
common.buy 630 Kč
Power Of Your Subconscious Mind (revised) Joseph Murphy/ Revised By Ian McMahan / Kniha Brožovaná
common.buy 219 Kč
Top
Dracopedia Field Guide William O'Connor / Kniha Pevná
common.buy 504 Kč
Slumber Party Sparkles Jojo Siwa / Kniha Brožovaná
common.buy 194 Kč
I Want a Boyfriend! Tony Ross / Kniha Brožovaná
common.buy 188 Kč
Advanced Mobile Robotics Daeeun Kim / Kniha Brožovaná
common.buy 1 983 Kč
The Patchouli in perfumery Le collectif nez / Kniha Brožovaná
common.buy 527 Kč
Top
Brain Games - Sticker by Number - Vintage: Flowers (28 Images to Sticker) New Seasons / Kniha Brožovaná
common.buy 279 Kč
Top
Powerless Lauren Roberts / Kniha Brožovaná
common.buy 206 Kč
Ultimate Guide to Sewing Machine Feet Shelley Scott-Tobisch / Kniha Brožovaná
common.buy 509 Kč
Exploring Sinophone Liminality in Contemporary Chinese Fiction Chao / Kniha Pevná
common.buy 4 835 Kč
Illustrated Encyclopaedic Medical Dictionary Frank Pierce Foster / Kniha Pevná
common.buy 1 054 Kč
Road to Mound Grove Betty B Cantwell / Kniha Brožovaná
common.buy 376 Kč
Top
Go Programming Language, The Alan Donovan / Kniha Brožovaná
common.buy 915 Kč
Combinatory Linguistics Cem Bozsahin / Kniha Pevná
common.buy 3 300 Kč
Low-Power Crystal and MEMS Oscillators Eric Vittoz / Kniha Pevná
common.buy 4 858 Kč
Top
The Adhd Effect on Marriage Melissa Orlov / Kniha Brožovaná
common.buy 373 Kč
Naples and Napoleon John A. Davis / Kniha Pevná
common.buy 5 206 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?