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

9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Hardware and Software: Verification and Testing Valeria Bertacco
Libristo kod: 02152556
Nakladnici Springer International Publishing AG, listopad 2013
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conferenc... Cijeli opis
? points 125 b
51.75 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

amore al tempo dei social Karin Anzai Knjiga Knjiga
common.buy 8.19 €
August und Elisabeth Macke Anna Luisa Walter / Knjiga Meki uvez
common.buy 32.00 €
CONCERTI PER VL., ARCHI E B.C.: IN MI RV 267 VIOLON ANTONIO VIVALDI Knjiga binding.
common.buy 23.89 €
Ściąga liceum, technikum Część 1 Antyk, Średniowiecze, Renesans, Barok, Oświecenie Zespół redakcyjny Wydawnictwa Greg / Knjiga Meki uvez
common.buy 3.74 €
Wanderer zwischen Musik, Politik und Recht Becker / Knjiga Tvrdi uvez
common.buy 115.15 €
Gachiakuta. Крутые отбросы. Том 2 / Knjiga Tvrdi uvez
common.buy 25.51 €
Smradľavý útok Grázlika Gaba Francesca Simon / Knjiga Meki uvez
common.buy 5.66 €
Ajedrez hipermoderno. Vol. I Ricardo Aguilera López / Knjiga Meki uvez
common.buy 10.83 €
Les Meilleures Recettes Vegetariennes Du Monde Entier M. Ballero / Knjiga Meki uvez
common.buy 9.21 €
hombre y el zorro Idries Shah / Knjiga Meki uvez
common.buy 9.81 €
Eveliina von Waisin etiaiset Anneli Alatalo / Knjiga Meki uvez
common.buy 24.20 €
Wupp geht um Martina Temming / Knjiga Meki uvez
common.buy 9.00 €
Der Realitätenkellner Werner A. Leeb / Knjiga Meki uvez
common.buy 36.96 €
Flottentelematik fur Transportdienstleister - E-Business-Loesung fur kleinst- bis mittlere Transport-Unternehmen Rüdiger Quietzsch / Knjiga Meki uvez
common.buy 47.29 €
Tagbuch einer Reise in Inner-Arabien Julius Euting / Knjiga Meki uvez
common.buy 31.29 €

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction, and model presentation.

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 Valeria Bertacco, Axel Legay
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2013
Broj stranica 366
EAN 9783319030760
ISBN 3319030760
Libristo kod 02152556
Nakladnici Springer International Publishing AG
Težina 593
Dimenzije 155 x 235 x 22

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer hardware > Network hardware
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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
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

Drought Stress Tolerance in Plants, Vol 1 Hossain Mohammad Anwar / Knjiga Tvrdi uvez
common.buy 154.55 €
Handbook of Power Management Circuits Haruo Kobayashi / Knjiga Tvrdi uvez
common.buy 257.25 €
Biotechnology and the Challenge of Property NWABUEZE / Knjiga Meki uvez
common.buy 77.07 €
Air Travel Claims in Australia and New Zealand Gary N Heilbronn / Knjiga Meki uvez
common.buy 22.27 €
Rust + Moth: Winter 2017 Rust and Moth / Knjiga Meki uvez
common.buy 7.69 €
Advances in Power Quality Jeremy Giamatti / Knjiga Tvrdi uvez
common.buy 74.53 €
Get Over Yourself! Jennifer Beckham / Knjiga Meki uvez
common.buy 16.70 €
Protein Translation Eric Jan / Knjiga Meki uvez
common.buy 63.90 €
Methods and Data in English Historical Dialectology Marina Dossena / Knjiga Meki uvez
common.buy 129.94 €
Nginx Essentials Valery Kholodkov / Knjiga Meki uvez
common.buy 40.20 €
Systematic Approach to Curriculum Planning Chipo Chirimuuta / Knjiga Meki uvez
common.buy 52.66 €
Heartwood James Lee Burke / Knjiga Meki uvez
common.buy 11.84 €
Solar Cells and Energy Materials Takeo Oku / Knjiga Tvrdi uvez
common.buy 99.45 €
Physical and Inorganic Chemistry J. Barthel / Knjiga Meki uvez
common.buy 103.10 €
History and Biography T. C. W. BlanningDavid Cannadine / Knjiga Tvrdi uvez
common.buy 127.61 €
Cooking With Healing Mushrooms Stepfanie Romine / E-knjiga Adobe ePub DRM
common.buy 12.75 €

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?