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 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Hardware and Software: Verification and Testing

4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Hardware and Software: Verification and Testing Hana Chockler
Libristo kod: 01649749
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, travanj 2009
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International H... Cijeli opis
? points 125 b
51.78 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

BERENGUELA DE NAVARRA.REINA DE INGLATERRA TRINDADE / Knjiga Meki uvez
common.buy 27.15 €
Cesarisme Et Christianisme (de l'An 45 Avant J.-C. A l'An 476 Apres) (2e Edition) Proudhon-P-J / Knjiga Meki uvez
common.buy 22.89 €
Phytosanierung von metallkontaminierten Böden mit Hilfe ausgewählter einheimischer Pflanzen SUBHA SHINI / Knjiga Meki uvez
common.buy 68.60 €
Ein Schritt weiter Benjamin Kunkel / Knjiga Meki uvez
common.buy 18.74 €
Pierre Bayle Ludwig Feuerbach / Knjiga Meki uvez
common.buy 26.85 €
Boxer and Brandon (Bengali Book for Kids) Inna Nusinsky / Knjiga Meki uvez
common.buy 16.61 €
Religionsunterricht ist in den oeffentlichen Schulen mit Ausnahme der bekenntnisfreien Schulen ordentliches Lehrfach Johannes Richter / Knjiga Meki uvez
common.buy 25.12 €
Hilflos Dick Francis / Knjiga Meki uvez
common.buy 10.33 €
Was Ist Und Wozu Soziooekonomie? Reinhold Hedtke / Knjiga Meki uvez
common.buy 56.74 €
Bilanz des Europaischen Systems der Zentralbanken (ESZB). Eine desaggregierte Betrachtung Carl-Jonathan Bertheau / Knjiga Meki uvez
common.buy 17.12 €
MARRUECOS 2017 Lee / Knjiga Meki uvez
common.buy 29.28 €
Le Jeu de Strategie, Ou Les Echecs Militaires 2e Ed. De Firmas-Peries-A-C-D / Knjiga Meki uvez
common.buy 17.12 €
Mindfulness : guía práctica : para encontrar la paz en un mundo frenético Danny Penman / Knjiga Meki uvez
common.buy 21.07 €
La deuda Rafael Gumucio Araya / Knjiga Meki uvez
common.buy 19.25 €
Invasió subtil i altres contes Pere Calders / Knjiga Meki uvez
common.buy 12.96 €
10 Consejos Para Mejorar La Relacion Con Tus Hijos Alma Ramirez / Knjiga Meki uvez
common.buy 6.98 €
Persi Dzhekson i prokljatie titana Rick Riordan / Knjiga Tvrdi uvez
common.buy 14.08 €
Observations Sur Le Dernier Budget, Adressees Par Un Pair Aux Deux Chambres, A l'Ouverture Mole-L-M / Knjiga Meki uvez
common.buy 12.46 €

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Haifa Verification Conference, HVC 2008, held in Haifa, Israel in October 2008.§The 12 revised full papers and 4 tool papers presented together with 6 invited lectures were carefully reviewed and selected from 49 initial 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). Within each paradigm, different algorithms and techniques are used for hardware and software systems with a special focus on hybrid methods.

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 Hana Chockler, Alan J. Hu
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2009
Broj stranica 215
EAN 9783642017018
ISBN 3642017010
Libristo kod 01649749
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 355
Dimenzije 155 x 235 x 13

Kategorija

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
Computing & Information Technology > Information technology: general issues
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

Handover in DVB-H Xiaodong Yang / Knjiga Meki uvez
common.buy 110.96 €
Globalization, Difference, and Human Security Mustapha Kamal Pasha / Knjiga Meki uvez
common.buy 75.39 €
Surviving The Storm Mrs Jessica Amos / Knjiga Meki uvez
common.buy 6.78 €
Pripremamo
Wit and Wisdom of Dad Emotional Rescue / Knjiga Tvrdi uvez
common.buy 7.69 €
Big Lessons for Little Christians Mila Anderson / Knjiga Meki uvez
common.buy 13.98 €
The Spirit World: Spirit Walking Dean Moriarty / Knjiga Meki uvez
common.buy 9.31 €
Syllabus of Lectures on Remedies. John Norton Pomeroy / Knjiga Meki uvez
common.buy 11.95 €
Mommy, Are YOU Listening? ? ? Patrice Lee / Knjiga Meki uvez
common.buy 10.63 €
Masquerades; Or, What You Will. by the Author of Eliza Warwick, &c. in Four Volumes. ... of 4; Volume 1 AUTHOR OF ELIZA WARW / Knjiga Tvrdi uvez
common.buy 32.62 €
Unmanned Aerial Vehicle (UAV) Muhammed Ehtisham Yahya Farooqi / Knjiga Meki uvez
common.buy 49.04 €
Jazzy Opera Classix: For Tenor Saxophone Hal Leonard Publishing Corporation / Knjiga Tvrdi uvez
common.buy 18.84 €
Cat-Dependent No More! Jeffrey Reid / Knjiga Meki uvez
common.buy 13.16 €
Crrn Exam Secrets Study Guide: Crrn Test Review for the Certified Rehabilitation Registered Nurse Exam Mometrix Media / Knjiga Meki uvez
common.buy 78.84 €
Top
Naruto: Itachi's Story, Vol. 1 Takashi Yano / Knjiga Meki uvez
common.buy 8.81 €
Global Business in Local Culture Philipp Aerni / Knjiga Meki uvez
common.buy 56.84 €
Destiny Elizabeth Haydon / Knjiga Meki uvez
common.buy 18.74 €
Carving Creative Walking Sticks and Canes Paul Purnell / Knjiga Meki uvez
common.buy 17.22 €
Handbook to the ethnographical Collections British Museum / Knjiga Meki uvez
common.buy 19.25 €
A Catalogue Of Paintings In The Collection Of Mr. And Mrs. Charles P. Taft, At Cincinnati, Ohio (1920) Maurice Walter Brockwell / Knjiga Meki uvez
common.buy 29.79 €
Emblems for the Young from Scripture, Nature and Art (1833) Cornelius Neale / Knjiga Meki uvez
common.buy 22.18 €
Sheltering Mercy Dan Wilt / Knjiga Tvrdi uvez
common.buy 16.71 €
Picture You Dead Wayne Brookes / Knjiga Meki uvez
common.buy 18.03 €
Mystery Weekly Magazine: May 2020 Kerry Carter / Knjiga Meki uvez
common.buy 7.69 €
Classic Starts (R): The Adventures of Robin Hood John Burrows / Knjiga Tvrdi uvez
common.buy 8.71 €

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?