Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Hardware and Software: Verification and Testing

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Hardware and Software: Verification and Testing Kedar Namjoshi
Libristo kod: 01657444
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, veljača 2011
This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verifi... Cijeli opis
? points 135 b
55.73 €
Vanjske zalihe u manjem broju Šaljemo za 13-18 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Praparationsmethodik in Der Elektronenmikroskopie David G. Robinson / Knjiga Meki uvez
common.buy 75.21 €
Methoden zur Bewertung von Kraftfahrzeugscheinwerfern Thomas Dahlem / Knjiga Meki uvez
common.buy 55.83 €
Segregator A4 Bantex PP XXL 8cm niebieski / Knjiga binding.
common.buy 2.72 €
A Paranormal Evening With The Moonflower Society Avantasia / Audio Audio CD
common.buy 95.41 €
Denkriesen - Stadt Land Vollpfosten® - School Edition Ricardo Barreto / Igra/Igračka Igra
common.buy 12.91 €
Je zygota lidskou osobou? Pascal Ide / Knjiga Meki uvez
common.buy 6.75 €
Phraseologisches Übersetzungswörterbuch Deutsch-Serbisch/Serbisch-Deutsch Prevodni frazeoloSki recnik Nemacko-srpski/Srpsko-nemacki Nikola Vujcic / Knjiga Meki uvez
common.buy 64.00 €
Au dodo, p'tit loup ! Lallemand / Knjiga Tvrdi uvez
common.buy 21.60 €
Souvenirs Atlantiques: Voyage Aux États-Unis Et Au Canada; Volume 1 Theodore Marie Pavie / Knjiga Tvrdi uvez
common.buy 36.34 €
Mein Zweisprachiges Aufdeckspiel, Obst und Gemüse, Russisch Tolga Celik / Igra/Igračka Igra
common.buy 14.02 €
Handbuch Dieselmotoren im Kraftwerks- und Schiffsbetrieb Günter Mau / Knjiga Meki uvez
common.buy 81.67 €
Poemas para barrocos Cristina Daneri Ferrari / Knjiga Meki uvez
common.buy 16.45 €

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

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Hardware and Software: Verification and Testing
Autor Kedar Namjoshi, Andreas Zeller, Avi Ziv
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2011
Broj stranica 169
EAN 9783642192364
ISBN 364219236X
Libristo kod 01657444
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 273
Dimenzije 155 x 235 x 15

Kategorija

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Enabling Flexibility in Process-Aware Information Systems Manfred Reichert / Knjiga Tvrdi uvez
common.buy 51.59 €
Exploring Public-Private Partnerships in Singapore Kim / Knjiga Tvrdi uvez
common.buy 77.13 €
Diabolically Detailed Coloring Book (Volume 10) H R Wallace Publishing / Knjiga Meki uvez
common.buy 8.57 €
Seven Imperfect Rules of Elvira Carr Frances Maynard / Knjiga Meki uvez
common.buy 11.80 €
Hints to an Inquirer on the Subject of Baptism PARSONS COOKE / Knjiga Meki uvez
common.buy 22.00 €
Ministry of Fine Art to the Happiness of Life Parry Thomas Gambier Parry / Knjiga Meki uvez
common.buy 27.66 €
Power Of Your Subconscious Mind (revised) Joseph Murphy/ Revised By Ian McMahan / Knjiga Meki uvez
common.buy 9.68 €
Top
Dracopedia Field Guide William O'Connor / Knjiga Tvrdi uvez
common.buy 20.69 €
Slumber Party Sparkles Jojo Siwa / Knjiga Meki uvez
common.buy 8.37 €
I Want a Boyfriend! Tony Ross / Knjiga Meki uvez
common.buy 8.37 €
Advanced Mobile Robotics Daeeun Kim / Knjiga Meki uvez
common.buy 86.82 €
The Patchouli in perfumery Le collectif nez / Knjiga Meki uvez
common.buy 20.79 €
Top
Brain Games - Sticker by Number - Vintage: Flowers (28 Images to Sticker) New Seasons / Knjiga Meki uvez
common.buy 13.22 €
Top
Powerless Lauren Roberts / Knjiga Meki uvez
common.buy 9.08 €
Ultimate Guide to Sewing Machine Feet Shelley Scott-Tobisch / Knjiga Meki uvez
common.buy 20.99 €
Exploring Sinophone Liminality in Contemporary Chinese Fiction Chao / Knjiga Tvrdi uvez
common.buy 208.69 €
Illustrated Encyclopaedic Medical Dictionary Frank Pierce Foster / Knjiga Tvrdi uvez
common.buy 45.73 €
Road to Mound Grove Betty B Cantwell / Knjiga Meki uvez
common.buy 16.25 €
Top
Go Programming Language, The Alan Donovan / Knjiga Meki uvez
common.buy 40.07 €
Combinatory Linguistics Cem Bozsahin / Knjiga Tvrdi uvez
common.buy 143.67 €
Low-Power Crystal and MEMS Oscillators Eric Vittoz / Knjiga Tvrdi uvez
common.buy 210.92 €
Top
The Adhd Effect on Marriage Melissa Orlov / Knjiga Meki uvez
common.buy 17.15 €
Naples and Napoleon John A. Davis / Knjiga Tvrdi uvez
common.buy 224.95 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?