A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Hardware and Software: Verification and Testing

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Hardware and Software: Verification and Testing Kedar Namjoshi
Libristo kód: 01657444
Kiadó 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... Teljes leírás
? points 145 b
21 221 Ft
Beszállítói készleten alacsony példányszámban Küldés 13-18 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Praparationsmethodik in Der Elektronenmikroskopie David G. Robinson / Könyv Puha kötésű
common.buy 28 985 Ft
Methoden zur Bewertung von Kraftfahrzeugscheinwerfern Thomas Dahlem / Könyv Puha kötésű
common.buy 20 784 Ft
Segregator A4 Bantex PP XXL 8cm niebieski / Könyv binding.
common.buy 1 022 Ft
A Paranormal Evening With The Moonflower Society Avantasia / Hanganyagok Audio CD
common.buy 36 340 Ft
Denkriesen - Stadt Land Vollpfosten® - School Edition Ricardo Barreto / Játék Játék
common.buy 4 975 Ft
Je zygota lidskou osobou? Pascal Ide / Könyv Puha kötésű
common.buy 2 527 Ft
Phraseologisches Übersetzungswörterbuch Deutsch-Serbisch/Serbisch-Deutsch Prevodni frazeoloSki recnik Nemacko-srpski/Srpsko-nemacki Nikola Vujcic / Könyv Puha kötésű
common.buy 24 664 Ft
Au dodo, p'tit loup ! Lallemand / Könyv Kemény kötésű
common.buy 7 898 Ft
Souvenirs Atlantiques: Voyage Aux États-Unis Et Au Canada; Volume 1 Theodore Marie Pavie / Könyv Kemény kötésű
common.buy 13 835 Ft
Mein Zweisprachiges Aufdeckspiel, Obst und Gemüse, Russisch Tolga Celik / Játék Játék
common.buy 5 210 Ft
Handbuch Dieselmotoren im Kraftwerks- und Schiffsbetrieb Günter Mau / Könyv Puha kötésű
common.buy 31 406 Ft
Poemas para barrocos Cristina Daneri Ferrari / Könyv Puha kötésű
common.buy 6 057 Ft

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

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Hardware and Software: Verification and Testing
Szerző Kedar Namjoshi, Andreas Zeller, Avi Ziv
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2011
Oldalszám 169
EAN 9783642192364
ISBN 364219236X
Libristo kód 01657444
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 273
Méretek 155 x 235 x 15

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Algoritmusok és adatszerkezetek
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Enabling Flexibility in Process-Aware Information Systems Manfred Reichert / Könyv Kemény kötésű
common.buy 19 818 Ft
Exploring Public-Private Partnerships in Singapore Kim / Könyv Kemény kötésű
common.buy 29 234 Ft
Diabolically Detailed Coloring Book (Volume 10) H R Wallace Publishing / Könyv Puha kötésű
common.buy 3 300 Ft
Seven Imperfect Rules of Elvira Carr Frances Maynard / Könyv Puha kötésű
common.buy 4 464 Ft
Hints to an Inquirer on the Subject of Baptism PARSONS COOKE / Könyv Puha kötésű
common.buy 8 335 Ft
Ministry of Fine Art to the Happiness of Life Parry Thomas Gambier Parry / Könyv Puha kötésű
common.buy 10 682 Ft
Power Of Your Subconscious Mind (revised) Joseph Murphy/ Revised By Ian McMahan / Könyv Puha kötésű
common.buy 3 825 Ft
Toplistás
Dracopedia Field Guide William O'Connor / Könyv Kemény kötésű
common.buy 8 698 Ft
Slumber Party Sparkles Jojo Siwa / Könyv Puha kötésű
common.buy 3 194 Ft
I Want a Boyfriend! Tony Ross / Könyv Puha kötésű
common.buy 3 153 Ft
Advanced Mobile Robotics Daeeun Kim / Könyv Puha kötésű
common.buy 33 523 Ft
The Patchouli in perfumery Le collectif nez / Könyv Puha kötésű
common.buy 7 704 Ft
Toplistás
Brain Games - Sticker by Number - Vintage: Flowers (28 Images to Sticker) New Seasons / Könyv Puha kötésű
common.buy 5 150 Ft
Toplistás
Powerless Lauren Roberts / Könyv Puha kötésű
common.buy 3 355 Ft
Ultimate Guide to Sewing Machine Feet Shelley Scott-Tobisch / Könyv Puha kötésű
common.buy 7 999 Ft
Exploring Sinophone Liminality in Contemporary Chinese Fiction Chao / Könyv Kemény kötésű
common.buy 79 058 Ft
Illustrated Encyclopaedic Medical Dictionary Frank Pierce Foster / Könyv Kemény kötésű
common.buy 17 424 Ft
Road to Mound Grove Betty B Cantwell / Könyv Puha kötésű
common.buy 6 172 Ft
Toplistás
Go Programming Language, The Alan Donovan / Könyv Puha kötésű
common.buy 15 528 Ft
Combinatory Linguistics Cem Bozsahin / Könyv Kemény kötésű
common.buy 55 108 Ft
Low-Power Crystal and MEMS Oscillators Eric Vittoz / Könyv Kemény kötésű
common.buy 78 373 Ft
Toplistás
The Adhd Effect on Marriage Melissa Orlov / Könyv Puha kötésű
common.buy 6 904 Ft
Naples and Napoleon John A. Davis / Könyv Kemény kötésű
common.buy 83 214 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása